Research And Implementation Of Safety Safety＿SysML/SCADE/AADL/Simulink Modeling Tool Chain Based On Avionics System

Safety critical system is a kind of reactive system with high requirements for safety and stability.This kind of system is related to the safety of people’s lives and property.Once it breaks down,it may lead to major accidents and cause irreparable huge losses.With the development of society and the progress of science and technology,safety critical systems have been integrated into various fields of human society,such as energy,medical care,transportation,energy,etc.At present,in the safety state machine modeling process based on safety critical system,there is still a lack of effective model mapping and link mechanism between modeling and simulation verification,which leads to the failure of effective simulation verification of the established model and exposes many security risks.In this paper,I developed Safety＿Sys ML security state machine model and AADL security state machine model based on Sys ML and AADL modeling languages to describe security-related requirements and model security-critical systems.For the system design process of modeling,simulation and verification,I put forward two cross-platform security state machine model mapping and transformation methods based on MDA theory to link security state machine models of different platforms,and based on this,I designed and developed two sets of modeling tool chains(Safety＿Sys ML2 SCADE,AADL2Simulink)to realize the end-to-end mapping and transformation of cross-platform security state machine models.In the design phase of the cross-platform model transformation tool chain,for the Safety＿Sys ML2 SCADE model transformation tool chain,I proposed the formal definition of Safety＿Sys ML security state machine,carried out modeling-meta analysis,and gave the semantic mapping rules from the Safety＿Sys ML security state machine model at the input end to the SCADE security state machine model at the output end.According to the semantic mapping rules,the endto-end cross-platform model mapping transformation algorithm and PSM software model are designed.For the AADL2 Simulink model transformation tool chain,I developed the AADL security state machine model based on the AADL Annex behavior attachment,gave the semantic mapping rules from the AADL security state machine model at the input end to the Simulink security state machine model at the output end,and designed the end-to-end cross-platform model mapping transformation algorithm and PSM software model according to the semantic mapping rules.In the software implementation of cross-platform model transformation tool chain,I first prepared the tool chain development environment based on JAVA software language,integrated open-source components(such as Xstream,ANTLR,Modelio API,etc.)and encapsulated some key interfaces for subsequent calls.Next,the implementation framework of model transformation is built.Then,based on the model transformation implementation framework,I studied and analyzed the Safety＿Sys ML security state machine model,AADL security state machine model at the input end,the SCADE security state machine model and the Simulink security state machine model at the output end,and constructed the text-based structural model and EJB structural model related to the platform.Finally,based on the specific structure of the input model and the output model,the crossplatform model transformation interface is implemented,and the PSM model is converted into Code implementation.In the functional testing of the tool chain,I designed the tool chain test cases according to the actual model transformation requirements.These test cases cover most of the basic functions of the tool chain.Through the comparison and analysis of the actual output results and the expected results of the tool chain,I got the test conclusion,which ensured the completeness of the tool chain function and the accuracy of the model transformation.In the practical application of the tool chain,based on the aircraft elevator fault detection and control system and the space launch termination control system in the field of avionics,I carried out the system security requirements analysis and security state machine modeling,and used the Safety＿Sys ML2 SCADE and AADL2 Simulink tool chain to build and transform the model.