Génération de séquences d'actions sûres par recherche d'atteignabilité
Résumé
Cet article 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é. L'article montre, 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é.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...