« ALoCSyS », un outil logiciel d'aide à la conception de systèmes d'automatisation sûrs de fonctionnement
CLARHAUT ; CONRARD ; HAYAT ; COCQUEMPOT
Type de document
COMMUNICATION PAR AFFICHE (AFF)
Langue
francais
Auteur
CLARHAUT ; CONRARD ; HAYAT ; COCQUEMPOT
Résumé / Abstract
Le thème de cet article concerne les méthodologies de conception de systèmes d'automatisation sûrs de fonctionnement. Le premier objectif de cet article est de présenter une méthodologie proposant différentes possibilités d'architectures matérielles qui maximise le niveau de sûreté de fonctionnement tout en minimisant le coût d'achat associé. Ainsi, à partir d'une description du système basée sur une décomposition hiérarchique enrichie de relations décrivant son comportement en présence de défaillances, la méthodologie recherche les solutions qui offrent la meilleure sécurité et/ou disponibilité. Le niveau de sûreté de fonctionnement est évalué par la longueur minimale des scénarios susceptibles d'entraîner l'occurrence des événements redoutés du système ainsi que par le nombre de combinaisons de ces scénarios. Le second objectif est de présenter l'outil informatique issu de cette méthodologie et baptisé ALoCSyS (Atelier Logiciel de Conception de Systèmes Sûrs).
Editeur
Université de Nancy - CRAN - LORIA
