A survey of avionics analysis and simulation based on AADL model

This paper aims to review and summarise the researches on the analysis and simulation of avionics including integrated modular avionics (IMA) based on Architecture Analysis & Design Language (AADL) models. Firstly, the features of AADL and its annexes are introduced in brief including the analysis and test tools. Then, a brief introduction on IMA is made by describing the characteristics which take new challenges to system analysing and testing. After that, a comparison between AADL and UML is laid out to weigh out both pros and cons for avionics analysis. Here, introductions and comparisons of current researches for avionics system analysis are made and the corresponding tools for test and simulation are concluded. At last, future works for avionics analysis and simulation are laid out.