Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Tuesday, April 20, 2021 - 3:14:19 PM
Last modification on : Tuesday, April 20, 2021 - 5:08:28 PM


Files produced by the author(s)


  • HAL Id : hal-03203096, version 1
  • OATAO : 26611


Sagar Shenoy Manikar, Pierre De Saqui-Sannes, Joël Jézégou, Philippe Asseman, Emmanuel Bénard. A Formal Framework for Modeling and Prediction of Aircraft Operability using SysML. 34th annual European Simulation and Modelling Conference (ESM), Oct 2020, Toulouse, France. ⟨hal-03203096⟩



Record views


Files downloads