A FORMAL FRAMEWORK FOR MODELING AND PREDICTION OF AIRCRAFT OPERABILITY USING SYSML

摘要

Aircraft operability characterizes the ability of an aircraft to meet operational requirements in terms of reliability, availability, risks and costs. Any operational interruption such as a delay of flight can have significant impact on airline flight schedule and operating cost. Aircraft operability is therefore considered a major requirement by each airline. Prediction of aircraft operability during the development stages of an aircraft can yield valuable feedback to the designers. 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 framework is demonstrated on a case study of air-conditioning pack.