Contribution à l'évaluation quantitative de la sureté de fonctionnement des systèmes d'automatisation en phase de conception

This work concerns the evaluation of dependability used as an explicit criterion for the design of automation systems. This document is organised in the following way:A first part defines the concepts of automation systems and distributed intelligencebase automation systems, and then Lays down the general problem about their design. Dependability and the main notions about dependability are introduced.A second part presents several representations which may be used when designing a system.A third part deals with the usuai methods used to quantify the different aspects ofdependability. Among them, the methods which deal with availability and reliability/security are more developed. Finally, the binary decision diagrams are tackled as a tool to evaluate these aspects of dependability.A fourth part presents the proposed method for the design of automation systems. It uses a combinatory research in order ta optimise the designed architecture thanks to criteria about dependability.A last part iIlustrates the proposed method on two examples.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