Abstract FR:

Les travaux exposés dans ce mémoire portent sur l'évaluation de la sureté de fonctionnement explicitement utilise comme un critère lors de la conception des systèmes d'automatisation. Ce document est organisé de la manière suivante : une première partie définit les différents termes relatifs aux systèmes d'automatisation et aux systèmes d'automatisation à intelligence distribuée puis la problématique générale de leur conception. Ensuite, la sureté de fonctionnement et les principales notions s'y rattachant sont introduites. Une deuxième partie présente les différentes représentations utilisées lors de la démarche de conception. Une troisième partie aborde les principales méthodes employées pour quantifier les différents aspects de la sureté de fonctionnement. Parmi celles-ci, celles relatives aux aspects disponibilité et fiabilité/sécurité sont plus particulièrement développées. Enfin, les arbres de décision binaire sont abordés comme outil pour la quantification de ces aspects. Une quatrième partie présente la méthode proposée pour la conception des systèmes d'automatisation. Celle-ci s'appuie sur une recherche combinatoire afin d'optimiser l'architecture à concevoir prenant en compte ces critères relatifs à la sureté de fonctionnement. Une dernière partie illustre la démarche proposée en l'appliquant à deux exemples.