|
 |
Modes de défauts et analyse des effets |
|
|
Analyse de l’arbre des défaillances |
 |
Certification de la sécurité |
|
Technique de prévention des défaillances |
|
|
Systèmes à sécurité inhérente |
|
|
Limitation de l’effet des défaillances |
|
Nécessité d’une spécification formelle |
|
Méthodes de spécifications formelles |
|
Exemple : les preuves par invariants, pré et post-conditions |
|
|
Les niveaux d’intégrité de sécurité (SIL 1 à 4) |
