IMA-oriented AADL multi-paradigm modeling and C code automatic generation method

Abstract

The invention discloses an IMA-oriented AADL multi-paradigm modeling and C code automatic generation method, and the method comprises the steps of expressing the functional behaviors of an IMA software and hardware architecture, an AADL behavior attachment, a synchronous language SIGNAL and an SDL description software component through AADL, so as to support a plurality of calculation models suchas a state machine, a synchronous data flow and asynchronous execution; adding IMA attributes to the model in an IMA attribute set refinement mode to obtain an AADL model related to the platform; analyzing the AADL files stored in the files through an AADL file analysis module provided by OSATE, and packaging the AADL files into classes; by means of a template function provided by Xtend, mapping of a multi-paradigm modeling tool and an AADL-to-C code conversion rule is achieved, and therefore an Eclipse platform plug-in based on an AADL open source tool environment OSATE is achieved.

Description

technical field [0001] The invention relates to the technical field of automatic generation of C codes based on an AADL design model, in particular to an IMA-oriented AADL multi-paradigm modeling and code automatic generation method. Background technique [0002] Safety-Critical System (Safety-Critical System) refers to a complex embedded system used in aviation, aerospace, transportation, energy and other fields, and its operation may cause the system to be in a dangerous state, resulting in heavy property loss, environmental damage or personal injury . Avionics system is a typical safety-critical system. [0003] The avionics system has gone through independent, federated, integrated (Integrated Modular Avionics, IMA) and recently proposed intelligent open (Future Airborne Capability Environment, FACE) and other stages. With the improvement of computer hardware capabilities, it is possible to integrate avionics systems (IMA). IMA refers to the execution of all avionics ...

AI Technical Summary

Problems solved by technology

[0007] Purpose of the invention: In order to solve the problem that a single modeling language cannot completely cover the modeling requirements of IMA, the present invention proposes an IMA-oriented AADL multi-paradigm modeling and automatic code generation method, AADL is used to express the IMA software and hardware architecture, AADL Behavior attachments, synchronous language SIGNAL and SDL (Specification and Description Language) are used to describe the functional behavior of software components, and add platform-related information to the model through IMA attribute set refinement, and automatically generate runnable C based on the platform-related AADL model. the code

Images