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

« Plutôt que de répéter sans cesse à l’enfant que le feu brûle, consentons à le laisser un peu se
brûler : l’expérience instruit plus sûrement que le conseil. »
André Gide - Les Faux Monnayeurs
Les chapitres 3 et 4 ont présenté respectivement les processus de modélisation et de validation
d’un modèle AltaRica permettant à l’analyste de s’assurer que le modèle en question
représente bien et de manière valide ce qu’il est censé décrire. Au delà des aspects théoriques
présentés dans ces chapitres, le travail réalisé au cours de cette thèse comportait également un
aspect pratique non négligeable. L’objectif du présent chapitre est alors de présenter cet aspect
pratique sur notre cas d’étude : un moteur d’hélicoptère.
Nous étudierons dans la section 5.1 l’application de la méthodologie proposée chapitre 3 et
la construction des bibliothèques de composants pour différents sous-systèmes du moteur d’hélicoptère.
Nous donnerons suite à cela un retour d’expérience sur les différentes analyses effectuées.
Concernant la validation des modèles AltaRica réalisés, nous présenterons dans la section 5.2 les
résultats issus de la comparaison entre les chemins de propagation présents dans les arbres de
défaillance et ceux fournis par les modèles. Nous présenterons les analogies entre les deux types
de résultats ainsi que leurs différences. Ensuite et même si celui-ci n’en est qu’à ses prémisses,
nous discuterons de la mise en place du processus de validation présenté au chapitre 4.
Nous reviendrons finalement dans la section 5.3 sur quelques avantages liées à l’utilisation
de l’approche « Model Based Safety Analysis ». Nous fournirons en section 5.4 ce qui nous semble
être des « bonnes pratiques » à avoir lors de l’activité de modélisation. Enfin nous présenterons en
section 5.5 les difficultés rencontrées et discuterons de possibilités pour les résoudre.
5.1 Bilan de l’activité de modélisation
Nous avons présenté en section 3.3 le cas d’étude ayant illustré la construction des bibliothèques
de composants en langage AltaRica. Nous nous proposons de faire ici un bilan de l’activité
de modélisation. Nous présenterons quelques chiffres relatifs à l’utilisation des bibliothèques réalisées
et discuterons du « périmètre » couvert par les modèles ayant été réalisés.
Remarque : Pour limiter toute confusion dans la suite, nous parlerons de « composant » pour
désigner un composant physique et nous parlerons de « nœud » pour désigner un
modèle AltaRica d’un composant ou d’une fonction.
5.1.1 Bibliothèques AltaRica pour la modélisation du moteur d’hélicoptère
Pour rappel, le chapitre 3 s’est intéressée à la mise en place de différentes bibliothèques et
nous a permis de modéliser divers sous-systèmes (tableau 5.1) d’un turbomoteur d’hélicoptère tels
que :