HAL Id: tel-00807442 https://tel.archives-ouvertes.fr/tel-00807442 Submitted on

HAL Id: tel-00807442 https://tel.archives-ouvertes.fr/tel-00807442 Submitted on 3 Apr 2013 HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Aircraft operational reliability - A Model-based approach and case studies Kossi Tiassou To cite this version: Kossi Tiassou. Aircraft operational reliability - A Model-based approach and case studies. Logic in Computer Science [cs.LO]. INSA de Toulouse, 2013. English. <tel-00807442> THESE THESE En vue de l'obtention du DOCTORAT DE L’UNIVERSITÉ DE TOULOUSE DOCTORAT DE L’UNIVERSITÉ DE TOULOUSE Délivré par Institut National des Sciences Appliquées de Toulouse Discipline ou spécialité : Systèmes Informatiques JURY Karama KANOUN : Directeur de thèse Christel SEGUIN : CoDirecteur de thèse Felicita DI GIANDOMENICO : Rapporteur Jean-Marc BOSC : Rapporteur Mohamed KAÂNICHE : Examinateur Kamel BARKAOUI : Examinateur Chris PAPADOPOULOS : Invité Ecole doctorale : SYSTEMES Unité de recherche : LAAS-CNRS Directeur(s) de Thèse : Karama KANOUN et Christel SEGUIN Rapporteurs : Felicita DI GIANDOMENICO et Jean-Marc BOSC Présentée et soutenue par Kossi Blewoussi TIASSOU Le 6 février 2013 Titre : Fiabilité opérationnelle des avions - Approche basée sur les modèles et cas d'étude Aircraft operational reliability — A Model-based approach and case studies    Acknowledgements I would like to express my gratitude to all those who have made this dissertation journey possible and have ensured its successful achievement. The dissertation work has been carried out at the Laboratoire d’Analyse et d’Architecture des Systèmes of the French National Center for Scientific Research (LAAS-CNRS), within the Dependable Computing and Fault Tolerance research group (TSF). I would like to thank Raja Chatila and Jean Arlat, respectively former and current directors of LAAS, and Karama Kanoun the head of the TSF research group for having offered me the opportunity to carry out my PhD thesis work at LAAS. The work has been carried out in the context of an Airbus project @Most (Airbus Maintenance Operations Solutions and Technologies), especially the DIANA (Decision Impact ANAlysis) package which involves collaborators from Airbus, ONERA (Office National d'Etudes et de Recherches Aéronautiques) and ISAE (Institut Supérieur de l'Aéronautique et de l'Espace). I would like to express my gratitude to all of them, especially Chris Papadopoulos, for the time devoted. He had extensively contributed to the work with fruitful suggestions and comments. My sincere thanks to Felicita Di Giandomenico and Jean-Marc Bosc, the thesis reviewers (rapporteurs), for their interest in the subject and the time devoted. I also thank Kamel Barkaoui for having accepted to be part of the thesis committee. My utmost gratitude goes to my dissertation advisors, Karama Kanoun, Christel Seguin and Mohamed Kaâniche, who have accepted to undertake this adventure with me. They have been patient and indulgent during all the thesis work. I have learnt a lot from their advices and guidance. I would like to thank all the members of the Dependable Computing and Fault Tolerance research group who somehow supported me. I am grateful to Yves Crouzet for his help, especially during the thesis defense preparation, and Sonia De Sousa for her effort in carrying out the administrative tasks related to the defense organization. I am also thankful to all the fellow PhD students with whom I have mostly interacted. Amongst my fellow colleagues, the effort made by my former officemate Ossama Hamouda in welcoming me and giving me first guidance at the beginning of the thesis is acknowledged and appreciated. I express my gratitude to all my friends who have encouraged me and have believed in the achievement of this project. My family has been far from me but has kept this eagerness in asking about how the work was going. I was encouraged by many persons, from both the close and the extended family members. You have been of great support. Thank you all of your kindness and support.    Abstract Dependability assessment, by system manufacturer, during aircraft design, based on stochastic modeling, is of common practice, but model based operational dependability assessment online, during missions’ achievement, is seldom done. Usually, the stochastic assessment addresses aircraft safety. This thesis addresses aircraft operational dependability modeling to support mission and maintenance planning, as well as the achievement of the missions. We develop a modeling approach, based on a meta-model that is used as a basis: i) to structure the information needed to assess aircraft operational reliability and ii) to build a stochastic model that can be updated dynamically. The update concerns the current state of the aircraft system, a mission profile and the maintenance facilities available at the flight stop locations involved in the mission. The aim is to enable operational reliability assessment online. Two case studies, based on aircraft subsystems, are considered for illustration. We present examples of evaluation results that show the valuable role of operational dependability assessment during aircraft mission.    i Contents  * +,-. * /  !" * # $ % $ & # ' $:$, %;, <  % = # & > $*,$ , %?-( $* = # ) *+ %,-.$!' +$ , I.2.1 *+ %,-.$!,$$-$ - I.2.2 +.,$ $ %+ %,-.$! - I.2.3 +.", / %+ %,-.$! 0 # 1 *+ %,-.$!J*,.,$ 0 I.3.1 K,.$,$**,.,$ 0 # 1 & & ,." % L// $ , % $ ,.$!, ,.!  M>J'/ N # 1 & ) ,.$$, ,.!  &O I.3.2 K, $$,$**,.,$ && # 1 ) & K, $$,$*",  && # 1 ) ) K, $$,$*%+ %,-.$!*,.,$ $ . 2 && # 1 ) 1 > %.3-, %*,.,$ &) # 4 / ,/$5! $" L?+,$ , %>, $ ,  &= I.4.1 / ,/$ ! $" &= I.4.2 / ,/$ +,$ &, # 4 ) & ?+,$ +.,   &, # 4 ) ) ..$, .*" $+  &, # 4 ) 1 ?+,$ ,. $+$ &N I.4.3 >, $ ,  )O # 4 1 & >, $ , + .  )O # 4 1 ) / ,/$", $ , + ," )& # = / ,/$?+,$ ,.*+ %,-.$!/  " $, %#"+ *" $6.,$% 7 < )4 I.5.1 / ,/$ ,/$!,  " $ ,-.%  +,$ )4 I.5.2 / ,/$ +,$ ,.%+ %,-.$!,  " $,$%  +.,  )= I.5.3 / ,/$", $ ,  )- I.5.4 / ,/$ +,$ % +$ ", ," $ )0 # , 5"",!, %+.  ? $,$ )N I.6.1 6 . /" %.3-, %%+ %,-.$!,  " $ )N I.6.2 +." %. , %,  " $+ -." .,, $ $ 1O # - ' .  1& ## > %. /++ , ., %/  " $,"8 < 11 ## & J $,-. . $.> %. 11 II.1.1 >,  $ *,.,$ 14 II.1.2 > %. $ $ 1= II.1.3 >,(  .,  $ -,  $%/  1-    ii II.1.4 #  +,$ ,  " $/,"8 < 1- II.1.5 > %. $ $ , %+%,$+  1N ## & = & +.,++ , .$ $." %.+%,$ 4O ## & = ) +." %. $ $ +   **8 4O ## ) > %.' $ $5+ / ,$ 4& II.2.1 +.' " %. 4& II.2.2 +.>  %+ % $" %. 41 II.2.3 >, *,,-. $.,$",!-,// $% 4, ## 1 +.>$,3" %. 4- II.3.1 >$,3" %. ", 4- II.3.2 +. "$,3" %. 4N II.3.3 +."  %+ % $"$,3" %. =& II.3.4 ' .%  "" $ =1 ## 4 ' .  =1 ### > %.' $ $ ;, % /.$,6 ,, %5$ ., $ / $*$!9$8 <  ",. " == ### & :  $,$  /$.$8 / ",. " == III.1.1 5$ ., $ / $*$!9$8 <;5/9Z =, III.1.2 /.$,6 ,., , =N ### ) '.,, $ $ , %' "+,  /$.+8  ",. " ,) III.2.1 ;,  /,$ ,) III.2.2 > %.,$! ,1 III.2.3 ' "+, $  ,4 III.2.4 6 - $   /$." %. ,4 III.2.5 5++ $ $ . , %/, .$ ,= ### ) = & 5++ $ $ . ,= ### ) = ) >[- , %' .,? , ,= III.2.6 5"",! ,, ### 1  "/.$,6 ,$ 5/9 ,- III.3.1 ;,  /,$ $, / ",$ ,0 III.3.2  ",.%/ $  /$.$, / ",$ ,N III.3.3 *,. 8$. "+ % % -& ### 4  "5/9$ /.$,6 , -1 III.4.1 ;,  /,$ $, / ",$ -4 III.4.2  ",.%/ $  /$.$, / ",$ -= III.4.3 *,. 8$. "+ %" %. , % .,%+.,  -, ### = ' .  0O #\ ', 5$% 01 #\ & > %. $.6%%' $ .5- ! $" 01 IV.1.1 : uploads/Science et Technologie/ thesis-tiassou.pdf

Tags
Science et Technologiemodel maintenance aircraft mission which
Documents similaires
  • 21
  • 0
  • 0
Afficher les détails des licences
Licence et utilisation
Gratuit pour un usage personnel Attribution requise
Partager