Test fonctionnel de propriétés hybrides

Abstract : Hybrid systems posess a continuous and discrete behavior. This behavior is partially determined by temporal constraints, and/or interactions of the system with a physical environment by means of sensors and actuators. Hybrid systems include some industrial plant control software and home automation systems. The validation of hybrid systems is a crucial problem since they may be used in safety critical applications (a safety critical system is a system whose failure may lead to unacceptable financial or human costs). This validation raises several problems; in particular a complete description of the system to be validated is not always available. Its complexity may also prevent establishing the correction of the system with certainty (if for exampl a full proof computation requires too much time or equipment). Therefore we are interested in validating hybrid systems specified by a set of safety properties. A safety property is a requirement that constrains only some aspect of the system behavior and can be fullfilled by several implementations. It may for example specify the expected reaction of the system under specific circumstances or constrain the set of values that a variable is allowed to take. The work presented in this document is a functional testing approach aimed at allowing the validation of hybrid systems for which a specification composed of hybrid safety properties is available. Validation consists in verifying that the system satisfies its specification and therefore the needs that motivated its design (assuming the specification actually matches these needs).
Document type :
Theses
Complete list of metadatas

Cited literature [63 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00974170
Contributor : Yves Grasland <>
Submitted on : Monday, April 7, 2014 - 2:49:25 PM
Last modification on : Friday, October 25, 2019 - 2:04:50 AM
Long-term archiving on : Monday, July 7, 2014 - 10:50:39 AM

Identifiers

  • HAL Id : tel-00974170, version 1

Collections

LIG | UGA | LCIS

Citation

Yves Grasland. Test fonctionnel de propriétés hybrides. Autre [cs.OH]. Université de Grenoble, 2013. Français. ⟨NNT : 2013GRENM013⟩. ⟨tel-00974170⟩

Share

Metrics

Record views

1480

Files downloads

459