Research On The Transformation Method From SysML Model To AADL Model For Safety-critical Systems

The implementation of the safety critical system needs to go through the phases of specification,design,integration,verification and testing.In recent years,model-driven development(MDD)has gradually become an important method for the design and development of safety critical software.As no modeling language can support the entire safety-critical system development life cycle,this article chooses to integrate and use two widely used standard languages: System Modeling Language(SysML)and Embedded Real-Time System Architecture Analysis and Design Language(AADL).SysML and AADL provide two different views of the same system.While the SysML model provides a high-level view for systems engineers,AADL creates a lower-level design view for architects.It combines software,operating systems,and hardware that implement all functions.SysML supports the early stages of systems engineering.At the same time,according to the ARP4761 safety assessment standard,the design of the safety-critical system should be evaluated to see whether the design of each stage meets the requirements of safety.SysML lacks support for safety analysis and lacks the ability to describe safety-related information.This paper proposes a method for translating SysML model to AADL model for safety-critical systems.It focuses on the key issues such as the lack of SysML's ability to describe safety information in safety-critical areas,and the automatic translation of SysML to AADL model when integrating SysML and AADL.The main research results are as follows:First of all,we propose a SysML safety extension and analysis method.By defining the Failure Profile,describing safety-related concepts,based on the SysML standard system model,the Failure Profile models the system's failure information and provides an effective link between system design information and safety information.In addition,We propose an automatic generation method of Failure Profile to fault tree and design an automatic generation algorithm of fault tree,so that the existing fault tree analysis tools can be used to analyze and feedback the analysis results into the SysML design model,so as to find the hidden hazards in the design as early as possible,and improve the efficiency of safety analysis.Secondly,we propose a modeling method for the integration of SysML and AADL.SysML is used to model the system in the preliminary design phase,while AADL is used to model the system in the detailed design phase.We present an automatic transformation method from SysML system model to AADL initial design model,including semantic mapping from the metamodel of SysML subset and the extended Failure Profile to the metamodel of AADL subset,as well as relevant transformation algorithms,The system function and fault information are transmitted to the AADL model,to reduce the semantic loss and heavy workload of manual modeling model to transmit design information.Furthermore,the AADL error model annex can be used for further safety analysis.Finally,we implement the SysML2 AADL prototype tool on the Eclipse platform integrating the SysML modeling tool Papyrus and the AADL modeling tool OSATE,and the industrial case study of aircraft air compressor system verifies the effectiveness of the proposed method.