@inproceedings{dc1e5f2d996e47429dfea66878607a12,
title = "A safety evaluation method for the process of IMA dynamic reconfiguration",
abstract = "Safety of Integrated Modular Avionics (IMA) attracts attentions of many researchers. IMA brings more advantages while it becomes more complicated than the federated system. The dynamic reconfiguration, a safety-critical process for IMA, can recover the system from failure when the plane is operating and reduce the hardware redundancy of system. It is difficult to analyze and evaluate the safety of IMA dynamic reconfiguration because the process is very complex. The Architecture Analysis and Design Language (AADL) is effective in modeling such process of the embedded real-time system. In AADL, mode can represent the configuration of a system. The behavioral annex can describe the action between modes. In this paper, we model the dynamic reconfiguration based on AADL. And based on the model, we use risk matrix and fuzzy sets to evaluate the safety of the process of dynamic reconfiguration.",
keywords = "AADL, IMA, dynamic reconfiguration, safety",
author = "Hongyan Ju and Shihai Wang and Tingdi Zhao",
note = "Publisher Copyright: {\textcopyright} 2016 TCCT.; 35th Chinese Control Conference, CCC 2016 ; Conference date: 27-07-2016 Through 29-07-2016",
year = "2016",
month = aug,
day = "26",
doi = "10.1109/ChiCC.2016.7554890",
language = "英语",
series = "Chinese Control Conference, CCC",
publisher = "IEEE Computer Society",
pages = "9666--9670",
editor = "Jie Chen and Qianchuan Zhao and Jie Chen",
booktitle = "Proceedings of the 35th Chinese Control Conference, CCC 2016",
address = "美国",
}