Analyse des exécutions d’un système et graphe de toutes les exécutions possibles d’un système

L’analyse des exécutions d’un système permet d’en garantir un fonctionnement sûr, ce qui est crucial pour les systèmes critiques tels que des transports terrestres, aériens ou spatiaux, et pour la sécurité des outils informatiques. Le graphe présente une vue synthétique de toutes les exécutions et tous les états possibles du système en prenant en compte les contraintes temporelles. Il permet également de synthétiser un ensemble de valeurs de paramètres pour lesquelles la sûreté du système est garantie. Les algorithmes de vérification développés au CNRS permettent une analyse automatique de ces propriétés. Ils sont intégrés au sein de plateformes logicielles libres.