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

Chapitre 5
Cas d’étude et retour sur
l’approche
Sommaire
5.1 Bilan de l’activité de modélisation . . . . . . . . . . . . . . . . . . . . . . . 139
5.1.1 Bibliothèques AltaRica pour la modélisation du moteur d’hélicoptère . 139
5.1.2 Retour sur l’analyse des modèles . . . . . . . . . . . . . . . . . . . . 143
5.2 Bilan de l’activité de validation des modèles . . . . . . . . . . . . . . . . . . 144
5.2.1 Revues des modèles . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
5.2.2 Comparaison des résultats entre modèle AltaRica et arbres de défaillance145
5.2.3 Vers l’utilisation du processus de validation proposé . . . . . . . . . . 147
5.3 Accent sur quelques avantages de l’approche « Model Based Safety Analysis »
et de la méthodologie de modélisation proposée . . . . . . . . . . . . . . . . 148
5.3.1 Capitalisation des connaissances . . . . . . . . . . . . . . . . . . . . 149
5.3.2 Traçabilité et cohérence des analyses . . . . . . . . . . . . . . . . . . 149
5.4 Quelques bonnes pratiques recommandées lors de la modélisation . . . . . . . 150
5.4.1 Analyse préliminaire - Identification des besoins . . . . . . . . . . . . 150
5.4.2 Analyse préliminaire - Décomposition d’un système . . . . . . . . . . 151
5.4.3 Mise en place d’une organisation . . . . . . . . . . . . . . . . . . . . 151
5.4.4 Codification des informations . . . . . . . . . . . . . . . . . . . . . . 152
5.5 Retours sur quelques difficultés rencontrées . . . . . . . . . . . . . . . . . . 152
5.5.1 Traitement des boucles instantanées de modélisation . . . . . . . . . 152
5.5.2 Multiplicité des données transmises . . . . . . . . . . . . . . . . . . . 153
5.5.3 Difficultés d’abstraction des données . . . . . . . . . . . . . . . . . . 153
137