Retour au reportage Retour au reportage
20230062_0054

© Christian MOREL / LIPN / CNRS Images

Reference

20230062_0054

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.

CNRS Institute(s)

Regional office(s)

Scientific topics

CNRS Images,

Our work is guided by the way scientists question the world around them and we translate their research into images to help people to understand the world better and to awaken their curiosity and wonderment.