OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A Formal Framework for Modeling and Prediction of Aircraft Operability using SysML

Manikar, Sagar Shenoy and Saqui-Sannes, Pierre de and Jézégou, Joël and Asseman, Philippe and Bénard, Emmanuel A Formal Framework for Modeling and Prediction of Aircraft Operability using SysML. (2020) In: 34th annual European Simulation and Modelling Conference (ESM), 21 October 2020 - 23 October 2020 (Toulouse, France).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


Aircraft operability characterizes the ability of anaircraft to meet operational requirements in terms of reliability, availability, risks and costs. Airlines policy must cope with operational decision-making and maintenance planning to handle the impacts of any event that generates a maintenance demand during operations. Aircraft operability is therefore considereda major requirement by each airline. The subject reaches a complexity level that deserves investigations in a Model-Based System Engineering (MBSE) approach enabling abstractions, as well as simulation and formal verification of models. In this paper, aircraft operability is modeled using Finite State Machines(FSM) supported by SysML. Simulation and model checking techniques are used to evaluate the impact of an event on airline operations using operability Key Performance Indicators (KPIs)such as reliability, availability and cost. The modeling frameworkis demonstrated on a case study of air-conditioning pack. This kind of operability analysis helps to project the potential impactof aircraft design on airline operations early in the aircraft development.

Item Type:Conference or Workshop Item (Paper)
HAL Id:hal-03203096
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Other partners > Airbus (FRANCE)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Laboratory name:
Deposited On:07 Sep 2020 08:51

Repository Staff Only: item control page