Aide à la conception d'architectures opérationnelles de commande de systèmes critiques par analyse d'atteignabilité

Ce papier présente une méthode qui facilite la conception de l'architecture opérationnelle d'un système de commande en proposant, à partir de la connaissance des caractéristiques des fonctions que doit assurer ce système et des contrôleurs choisis pour réaliser ces fonctions, une solution d'affectation des fonctions qui satisfait des contraintes de capacités et de répartition tout en minimisant le nombre de contrôleurs. Cette méthode repose sur la vérification d'une propriété d'atteignabilité sur un réseau d'automates communicants. L'intérêt de cette proposition est illustré par le traitement d'un cas non trivial issu de la réalité industrielle.