Yves Grasland - Test fonctionnel de propriétés hybrides

13:30
Jeudi
21
Fév
2013
Organisé par : 
Yves Grasland
Intervenant : 
Yves Grasland
Équipes : 

Information détaillée : 

Thèse LCIS préparée dans l’équipe VASCO du LIG.

Résumé : 

Les systèmes hybrides sont des systèmes informatiques combinant des comportements dicrets (similaires à ceux d’une machine à états finis), et continus (similaires à ceux d’un système dynamique). Ces systèmes sont appliqués à de plus en plus de domaines tels que l’automatisation des tâches domestiques et l’assistance au maintien à domicile des personnes dépendantes. Ceci rend critique leur sûreté de fonctionnement. Les travaux présentés s’intéressent à la validation de ces systèmes en proposant une méthode de test de propriétés de sûreté hybrides. En combinant des techniques adaptées des méthodes de test hybrides existantes avec une description des besoins de validation insiprée des profils opérationnels, une solution au problème de l’oracle ainsi qu’un critère d’adéquation hybride ont été proposés. Ces propositions ont été implémentés au sein d’un prototype applicatif qui sera également présenté.