Reliability Analysis of the Integrated Modular Avionics System Using AADL and GSPN

摘要

In recent years, the integrated modular avionics (IMA) concept has been introduced to replace the traditional federate avionics. IMA adopts a resource sharing architecture, which provides more sophisticated and powerful avionics functionality. Meanwhile, it brings more complex fault proliferation paths. Addressed on this problem, this paper proposes a reliability assessment method based on AADL (Architecture Analysis and Design Language) and GSPN (General Stochastic Petri Nets) .Firstly, employ the AADL language to describe the system's architecture and fault information to establish the AADL reliability model; In order to further analyses the dynamic behavior of the system fault , this paper then analyses the transformation rule from AADL model to GSPN model. Through the analysis of the GSPN model, the IMA system's reliability can be obtained. Finally, the effectiveness of this method is validated by the way of assessment of display function of the IMA system and the proposal of architecture of display function is given via contrast experiment.