Approche pour la déclinaison des exigences de sûreté des systèmes complexes
Abstract
Cet article s'intéresse à la définition et à la gestion des exigences de sûreté des systèmes complexes. On constate que d'une part, l'ingénierie des exigences est l'un des processus les plus critiques de la conception système et d'autre part, que les propriétés de sûreté sont des propriétés émergentes qui résultent d'interdépendances entre les composants d'un système et de l'interaction avec son environnement. Il est donc nécessaire d'accorder une attention particulière aux exigences de sûreté. Ces propriétés doivent être considérées globalement au niveau du système complet si l'on souhaite qu'elles soient respectées. Elles ne peuvent être attribuées localement. L'approche proposée dans cet article permet de définir la propriété de sûreté au niveau système suite à des analyses de risque et ensuite décliner ces dernières au niveau des sous-systèmes. Elle est basée sur l'analyse AMDEC et les arbres de défaillance et formalisée grâce à l'utilisation d'UML.