Méthodes pour la validation de modèles formels pour la ... - ISAE

Chapitre 1
Concepts généraux autour de la
SdF
Sommaire
1.1 Vers la notion de Sûreté de Fonctionnement . . . . . . . . . . . . . . . . . . 11
1.1.1 Une philosophie : prévoir le pire... . . . . . . . . . . . . . . . . . . . 11
1.1.2 Notion de risque . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.1.3 Sûreté de Fonctionnement . . . . . . . . . . . . . . . . . . . . . . . 12
1.2 Quelques définitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2.1 Système et système complexe . . . . . . . . . . . . . . . . . . . . . . 13
1.2.2 Vocabulaire [59] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.3 Mesure de la Sûreté de Fonctionnement . . . . . . . . . . . . . . . . . . . . 16
1.3.1 Les grandeurs FMDS . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.3.2 Quelques indicateurs . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.4 Processus de développement d’un système aéronautique et démonstration de
sa sécurité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.4.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.4.2 Identification des exigences de sécurité . . . . . . . . . . . . . . . . . 18
1.4.3 Évaluation préliminaire de la sécurité du système - PSSA . . . . . . . 21
1.4.4 Analyse des causes communes - CCA . . . . . . . . . . . . . . . . . . 21
1.4.5 Évaluation de la sécurité du système - SSA . . . . . . . . . . . . . . 21
1.5 Démarches et méthodes traditionnelles en SdF . . . . . . . . . . . . . . . . . 22
1.5.1 Analyse fonctionnelle . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.5.2 Analyse des Modes de Défaillance et de leurs Effets - AMDE . . . . . 22
1.5.3 Arbre de Défaillance . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.5.4 Graphe de Markov . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.5.5 Réseaux de Petri . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.6 Positionnement des travaux de thèse par rapport à la problématique SdF :
vers une modélisation formelle de système . . . . . . . . . . . . . . . . . . . 28
9