A formal approach using SysML for capturing functional requirements in avionics domain  

作　　者：Shaofan ZHU Jian TANG Jean-Marie GAUTHIER Raphael FAUDOU 

机构地区：[1]Beijing Aeronautical Science and Technology Research Institute,COMAC,Beijing 102211,China [2]Samares-Engineering,Blagnac 31700,France

出　　处：《Chinese Journal of Aeronautics》2019年第12期2717-2726,共10页中国航空学报（英文版）

基　　金：an MBSE Integrated Project Team (IPT)

摘　　要：In this work,a Model-Based Systems Engineering approach based on Sys ML is proposed.This approach is used for the capture and the definition of functional requirements in avionics domain.The motivation of this work is triple:guide the capture of functional requirements,validate these functional requirements through functional simulation,and verify efficiently the consistency of these functional requirements.The proposed approach is decomposed into several steps that are detailed to go from conceptual model of avionics domain to a formal functional model that can be simulated in its operating context.To achieve this work,a subset of Sys ML has been used as an intermediate modelling language to ensure progressive transformation that can be understood and agreed by system stakeholders.Formal concepts are introduced to ensure theoretical consistency of the approach.In addition,transformation rules are defined and the mappings between concepts of ARP4754 A civil aircraft guidelines and Sys ML are formalized through meta-model.The resulting formalization enables engineers to perform functional simulation of the top-level functional architecture extracted from operational scenarios.Finally,the approach has been tested on an industrial avionics system called the Onboard Maintenance System.In this work, a Model-Based Systems Engineering approach based on Sys ML is proposed. This approach is used for the capture and the definition of functional requirements in avionics domain. The motivation of this work is triple: guide the capture of functional requirements,validate these functional requirements through functional simulation, and verify efficiently the consistency of these functional requirements. The proposed approach is decomposed into several steps that are detailed to go from conceptual model of avionics domain to a formal functional model that can be simulated in its operating context. To achieve this work, a subset of Sys ML has been used as an intermediate modelling language to ensure progressive transformation that can be understood and agreed by system stakeholders. Formal concepts are introduced to ensure theoretical consistency of the approach. In addition, transformation rules are defined and the mappings between concepts of ARP4754 A civil aircraft guidelines and Sys ML are formalized through meta-model. The resulting formalization enables engineers to perform functional simulation of the top-level functional architecture extracted from operational scenarios. Finally, the approach has been tested on an industrial avionics system called the Onboard Maintenance System.

关 键 词：Avionics systems Conceptual model Functional simulation Model-Based Systems Engineering 

分 类 号：V243[航空宇航科学与技术—飞行器设计]