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é.
Mots clés : soutenance thèse
