Expert systèmes critiques

Chiffrage de scénarios



Il s’agit du calcul de la probabilité horaire d’un événement contraire à la sécurité, dans le but de vérifier qu’il est acceptable (probabilité horaire suffisamment faible).

La manière la plus commode de chiffrer un scénario est de le représenter sous la forme d’un arbre de défaillance dont les feuilles sont chiffrées et reliées entre elles par des connecteurs logiques. La probabilité de la conjonction en OU de deux événements est majorée par la somme des probabilités de ces événements. La probabilité de la conjonction en ET de deux événements indépendants est le produit des probabilités de ces événements.

La sécurité d’un système est supposée garantie lorsque la somme des probabilités horaires de tous les scénarios contraires à la sécurité est en dessous du seuil de taux horaire de défaillances qui les rend acceptable du point de vue de la sécurité.