A survey of avionics analysis and simulation based on AADL model. (2016)

• Record Type: Journal Article
• Authors: Diao, Xiaoxu; Liu, Bin; Wang, Shihai
• Is Part Of: International journal of information and communication technology. Volume 9:Number 3(2016)
• Page Start: 282
• Page End: 299
• Publication Date: 2016
• Subjects: AADL -- reliability analysis -- simulation -- communications technology -- integrated modular avionics -- IMA -- avionics analysis -- UML; Information technology -- Periodicals; Computer science -- Periodicals; Telecommunication -- Periodicals; 004.05
• Languages: English
• ISSNs: 1466-6642

Abstract

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.