AADL model construction method based on SysML module diagram

Abstract

The invention discloses an AADL model construction method based on a SysML module diagram. The AADL model construction method comprises the following steps of 1, performing module classification basedon the SysML module diagram; step 2, constructing an ADDL component type declaration based on the SysML module diagram; step 3, constructing an AADL component type based on the SysML module diagram to realize implementation; 4, constructing the state of the AADL assembly based on the SysML state machine diagram; and step 5, constructing state conversion of the AADL assembly based on the SysML state machine diagram. By means of the invention, a user can realize automatic construction of the AADL model based on the SysML module diagram; on the basis of maintaining the association relationship between an embedded system architecture model and a subsystem model, the non-functional attributes of the whole system model and the subsystem model are considered; modeling and verification of the embedded system architecture from the software level to the hardware level are completed, feasibility and correctness of a system architecture model can be verified in the early stage of software development, problems in the aspect of the system architecture are found as soon as possible, the cost of system development is reduced, and the high-reliability target of the whole system is achieved.

Description

technical field [0001] The invention belongs to the avionics system design technology, and relates to an AADL model construction method based on a SysML module diagram. Background technique [0002] Mission-critical systems are complex embedded systems with high reliability, high real-time performance, and high integration. MBSE (Model-Based System Engineering) has been recognized as the best solution to realize each step of complex key systems. It closely links modeling language and tools with embedded software development processes such as requirements analysis, design, implementation, integration and testing. Based on the above purpose, OMG (Object Management Group) proposed a standardized system modeling language SysML (System Modeling Language), SysML provides system engineers with a high-level view of system architecture design, completes advanced modeling tasks, and supports system modeling Early stages of engineering. When designing embedded software, SysML modules...

AI Technical Summary

Problems solved by technology

Deng Jiajia, a researcher at Nanjing University of Aeronautics and Astronautics, proposed a real-time verification method based on SysML and AADL to solve the problem that it is difficult to analyze and verify the real-time performance of the brake control system during the system design stage. However, their method of constructing the AADL model based on the SysML module diagram lacks standardization and precise description, unable to form a complete architecture

Images