The applied research on AADL and stateflow model in embedded system software design

Model-based design is now the developing trend of the embedded system software design. Modeling embedded system and generating code automatically are the key technologies of model-based design. In this paper, AADL is used to modeling a aircraft control system's architecture, Stateflow is used to modeling the system's functions, and RTW tool is used to generate C code automatically from Stateflow model. Through the integration of manual program and auto-generated code, the aircraft control system software are partly designed. The research indicates that AADL associated with Stateflow can be used to modeling the embedded system's architecture and logic functions conveniently, and generate code automatically, so they can both be applied to the embedded system software design.