@inproceedings{b93f6f61e81a4ef4aefb0945403d688b,
title = "AADL-based modeling and TPN-based verification of reconfiguration in Integrated Modular Avionics",
abstract = "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, reachability, 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.",
keywords = "AADL, IMA, Reconfiguration, Time Petri Net",
author = "Dajiang Suo and Jinxia An and Jihong Zhu",
year = "2011",
doi = "10.1109/APSEC.2011.27",
language = "English (US)",
isbn = "9780769546094",
series = "Proceedings - Asia-Pacific Software Engineering Conference, APSEC",
pages = "266--273",
booktitle = "Proceedings - 18th Asia-Pacific Software Engineering Conference, APSEC 2011",
note = "18th Asia Pacific Software Engineering Conference, APSEC 2011 ; Conference date: 05-12-2011 Through 08-12-2011",
}