Génération, vérification formelle et simulation de séquences de conduite pour un système complexe critique
Résumé
On s'intéresse à l'ingénierie et la préparation des séquences d'actions pour les systèmes complexes critiques, avec pour objectif d'assurer que les séquences peuvent être opérées en toute sécurité sur le procédé. On montrera, en se basant d'une part sur une modélisation formelle du système à l'aide d'automates à états communicants, et d'autre part sur des mécanismes de recherche d'atteignabilité, la faisabilité et les limites d'une approche de génération automatique de séquences respectant a priori les contraintes de sécurité.
Domaines
Automatique / Robotique
Origine : Fichiers produits par l'(les) auteur(s)