Retour au reportage Retour au reportage
20230062_0054

© Christian MOREL / LIPN / CNRS Images

Référence

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.

Institut(s)

Délégation(s)

Thématiques scientifiques

CNRS Images,

Nous mettons en images les recherches scientifiques pour contribuer à une meilleure compréhension du monde, éveiller la curiosité et susciter l'émerveillement de tous.