Application of AADL in Integrated Electronic Systems

[摘要] 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.

[发布机构] 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