Application of AADL in Integrated Electronic Systems

2018 2nd annual International Conference on Cloud Technology and Communication Engineering

计算机科学;无线电电子学

Liu, Lie^1 ; Feng, Guangding^2 ; Wang, Weipeng^1

Beijing Electro-Mechanical Engineering Institute, Beijing

100074, China^1

School of Reliability and Systems Engineering, Beihang University, Science and Technology on Reliability and Environmental Engineering Laboratory, Beijing, China^2

关键词: Analysis method;    Architecture analysis;    Arinc653;    Design languages;    Design safety;    Integrated electronics;    Reconfiguration process;    Whole process;   

Others  :  https://iopscience.iop.org/article/10.1088/1757-899X/466/1/012006/pdf
DOI  :  10.1088/1757-899X/466/1/012006

学科分类：计算机科学（综合）

来源: IOP

【 摘 要 】

In this paper, we try to find a proper method to model the IMA (Integrated Electronic System) reconfiguration process, make an analysis on simulation, validation and certification of IMA platform. We proposed the analysis method on AADL (Architecture Analysis and Design Language) to modeling the components of IMA, and its error and behavior annex can help to describe the mechanism of reconfiguration, its ARINC653 annex can help to design safety-critical avionics systems. In addition, we gave the detailed process of IMA reconfiguration by steps. The whole process helps us to grasp how to apply AADL to the corresponding analysis of IMA, thus helping to improve and optimize the design.