Le langage FIGARO

Caractéristiques des systèmes programmés
• bouclés
• non cohérents (une défaillance peut en compenser une autre, au moins
pendant un certain temps)
• multiples modes de défaillances pour un composant, les modes de
défaillance ayant des effets différents sur le système
• architecture fonctionnelle variable pour une architecture physique
donnée
• tests périodiques et autotests => défaillances détectées et défaillances
non détectées, avec une très forte influence du taux de détection sur
les caractéristiques de sûreté de fonctionnement du système.
DIVISION R&D - RNE - ESF