Research on the Formalization of AADL Model

In the embedded system modeling field, the AADL has gradually become the industry standard because of the characteristics of modeling hardware/software collaborative. Based on the AADL formal characteristics, many domestic and foreign scholars launched a warm discussion. In order to help the system developers to better understand AADL, guide the software development process, improve software development efficiency, we discuss the AADL model reliability analysis, schedulability analysis and AADL model testing on the three different viewpoints of the AADL formal verification theory. By contrasting, we discuss their advantages and insufficiencies. Then we briefly introduced the AADL verification tool, and focus on the issue of how to construct embedded software development platform based on AADL.