AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics
AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics
复制标题
DOI：
10.1109/apsec.2011.27
复制
发表时间：
2011-12
期刊：
影响因子：
--
通讯作者：
Dajiang Suo;Jinxia An;Jihong Zhu
中科院分区：
文献类型：
--
作者：
Dajiang Suo;Jinxia An;Jihong Zhu
利用体系结构分析与设计语言(AADL)对综合化模块化航空电子设备(IMA)进行建模。给出了多通道系统动态重构的描述机制。通过将AADL模型转换为时间Petri网(TPN)，可以检查重构的一些实时和逻辑属性(死锁、到达能力、错过最后期限)。分析结果可用于在系统开发的早期阶段调整软件设计，确保IMA的重新配置满足实时要求。
This paper seeks to model the Integrated Modular Avionics (IMA) using Architectural Analysis and Design Language (AADL). In particular, the mechanism to describe the dynamic reconfiguration of multimodal system is presented. By translating the AADL model into Time Petri Net (TPN), some real-time and logical properties (deadlock, reach ability, missed deadline) of reconfiguration could be checked. The analysis results could then be used to adjust the design of software at the early stage of system development and ensure that the reconfiguration of IMA meets the real-time constraints.