Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Thesis tiassou 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 T

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 English HAL Id tel- https tel archives-ouvertes fr tel- Submitted on Apr HAL is a multi-disciplinary open access archive for the deposit and dissemination of scienti ?c research documents whether they are published 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 di ?usion de documents scienti ?ques 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 CTHESE En vue de l'obtention du DOCTORAT DE L ? UNIVERSITÉ DE TOULOUSE Délivré par Institut National des Sciences Appliquées de Toulouse Discipline ou spécialité Systèmes Informatiques Présentée et soutenue par Kossi Blewoussi TIASSOU Le février 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 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 C C 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 Scienti ?c 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 o ?ered 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 O ?ce 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