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

Table des matières
Liste des abréviations
vii
Remerciements 1
Introduction 5
1 Concepts généraux autour de la SdF 9
1.1 Vers la notion de Sûreté de Fonctionnement . . . . . . . . . . . . . . . . . . . . 11
1.2 Quelques définitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3 Mesure de la Sûreté de Fonctionnement . . . . . . . . . . . . . . . . . . . . . . 16
1.4 Processus de développement d’un système aéronautique et démonstration de sa
sécurité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.5 Démarches et méthodes traditionnelles en SdF . . . . . . . . . . . . . . . . . . . 22
1.6 Positionnement des travaux de thèse par rapport à la problématique SdF : vers une
modélisation formelle de système . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2 Modélisation formelle de systèmes 29
2.1 Généralités autour de la modélisation de système . . . . . . . . . . . . . . . . . 32
2.2 Syntaxe du langage AltaRica OCAS . . . . . . . . . . . . . . . . . . . . . . . . 33
2.3 Sémantique du langage AltaRica : les automates de mode . . . . . . . . . . . . . 40
2.4 Outils pour la construction et l’analyse de modèles AltaRica . . . . . . . . . . . 48
2.5 Autres langages pour la réalisation d’étude de Sûreté de Fonctionnement . . . . 50
2.6 Conclusion du chapitre : Pourquoi AltaRica ? . . . . . . . . . . . . . . . . . . . . 54
3 Vers une méthodologie unifiée de modélisation AltaRica de systèmes physiques 55
3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.2 Processus de modélisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
3.3 Modélisation des bibliothèques : cas d’étude et analyse préliminaire . . . . . . . . 67
3.4 Modélisation d’un sous-système mécanique . . . . . . . . . . . . . . . . . . . . . 69
3.5 Modélisation d’un sous-système hydromécanique . . . . . . . . . . . . . . . . . . 80
3.6 Modélisation du système d’air principal . . . . . . . . . . . . . . . . . . . . . . . 88
3.7 Modélisation d’un sous-système logiciel . . . . . . . . . . . . . . . . . . . . . . . 90
3.8 Formalisation des données extraites . . . . . . . . . . . . . . . . . . . . . . . . . 92
i