Nos travaux se situent au croisement de trois domaines : la sûreté de fonctionnement, l'analyse fonctionnelle et l'ingénierie des modèles. Dans l'objectif d'assister les analyses préliminaires des risques, nous avons proposé d'exploiter les modèles issus de l'analyse fonctionnelle de l'avion. Ces modèles décrivent les dépendances entre les fonctions qui doivent être réalisées durant une phase de vol. Pour exploiter ces modèles, nous avons introduit la notion d'efficacité qui mesure le degré de contribution d'une fonction à la réalisation nominale d'une phase de vol. Cette notion est utile pour les analyses de risques car elle permet de formaliser divers cas de dysfonctionnements des fonctions et pour évaluer le niveau de dégradation d'une phase de vol en cas de dysfonctionnement d'une ou plusieurs fonctions. Nous avons proposé d'annoter les modèles issus de l'analyse fonctionnelle avec des informations relatives à l'efficacité des fonctions et à leurs dysfonctionnements possibles. En suivant les principes de la transformation de modèles, nous avons étudié les moyens de produire le plus automatiquement possible des modèles utiles aux analyses de risques à partir des modèles annotés. Les modèles produits sont décrits avec le langage AltaRica, ils peuvent être analysés avec les outils associés à ce langage afin d'évaluer l'effet du dysfonctionnement de fonctions de l'avion ou de rechercher les combinaisons de dysfonctionnements les plus critiques. L'approche proposée a été appliquée pour analyser les risques associés aux fonctions utiles lors du décollage d'un avion.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-01021443 |
| Date | 04 October 2013 |
| Creators | Maitrehenry, S. |
| Publisher | ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique - Poitiers |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | fra |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0019 seconds