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

Sagar Shenoy Manikar (1, 2, 3) , Pierre De Saqui-Sannes (1) , Joël Jézégou (2) , Philippe Asseman (3) , Emmanuel Bénard (2)

1 DISC - Département d'Ingénierie des Systèmes Complexes
2 DCAS - Département Conception et conduite des véhicules Aéronautiques et Spatiaux
3 Airbus Operation S.A.S.

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.

Mots clés: AircraftOperability; AirlineOperations; SysML; MBSE; Simulation; Model Checking

Domaines: Systèmes embarqués

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⟩