Title: A survey of avionics analysis and simulation based on AADL model

Authors: Xiaoxu Diao; Bin Liu; Shihai Wang

Addresses: Science and Technology on Reliability and Environment Engineering Laboratory, The School of Reliability and System Engineering, Beihang University, Room 416, Wei Ming Building, Beijing, 100191, China ' Science and Technology on Reliability and Environment Engineering Laboratory, The School of Reliability and System Engineering, Beihang University, Room 526, Wei Ming Building, Beijing, 100191, China ' The School of Reliability and System Engineering, Science and Technology on Reliability and Environment Engineering Laboratory, Beihang University, Room 631, Wei Ming Building, Beijing, 100191, China

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.

Keywords: AADL; reliability analysis; simulation; communications technology; integrated modular avionics; IMA; avionics analysis; UML.

DOI: 10.1504/IJICT.2016.079121

International Journal of Information and Communication Technology, 2016 Vol.9 No.3, pp.282 - 299

Available online: 13 Sep 2016 *

Full-text access for editors Access for subscribers Purchase this article Comment on this article