@inproceedings{e712ea5417774a20aed83281c1923d16,
title = "IMA reconfiguration modeling and reliability analysis based on AADL",
abstract = "Integrated Modular Avionics (IMA) system has revealed many advantages compared with the previous generation avionics system (Federated Avionics Architectures) and has been developed by engineers. IMA systems employ reconfiguration to manage the recourses of the system dynamically. Some researches on modeling and safety case have been done recently. In this paper, we propose one reliability analysis method based on Architecture Analysis and Design Language (AADL) model for Integrated Modular Avionics (IMA) reconfiguration. Firstly we present a mechanism to describe the dynamic reconfiguration of multimodal system, and it is followed by translating the AADL to Petri net (PN). Finally in the Petri net, the reconfiguration path reliability has been analyzed. The method we proposed is able to be used to assist the design of the IMA reconfiguration in the early stage of development, and thus improving the reliability of the whole system.",
keywords = "AADL, IMA, Petri net, Reconfiguration, Reliability analysis",
author = "Quan Zhang and Shihai Wang and Bin Liu",
note = "Publisher Copyright: {\textcopyright} 2014 IEEE.; 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent Systems, IEEE-CYBER 2014 ; Conference date: 04-06-2014 Through 07-06-2014",
year = "2014",
month = oct,
day = "7",
doi = "10.1109/CYBER.2014.6917544",
language = "英语",
series = "4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent Systems, IEEE-CYBER 2014",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "664--668",
booktitle = "4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent Systems, IEEE-CYBER 2014",
address = "美国",
}