Approach for integrated modular avionics reconfiguration modelling and reliability analysis based on AADL
Approach for integrated modular avionics reconfiguration modelling and reliability analysis based on AADL
复制标题
基于AADL的集成模块化航电重构建模与可靠性分析方法
DOI：
10.1049/iet-sen.2014.0179
复制
发表时间：
2016-02
期刊：
影响因子：
1.6
通讯作者：
Liu Bin
中科院分区：
文献类型：
--
作者：
Zhang Quan;Wang Shihai;Liu Bin
为了优化综合模块化航空电子系统的配置和重构策略，对可重构综合模块化航空电子系统的可靠性进行建模和评估已引起系统工程师和设计人员的高度重视。目前大多数的研究都将每一种配置看作是一个单一的系统状态，而没有涉及到每一种配置下的详细系统结构或触发重配置行为的事件。在这项研究中，提出了一种建模方法，这些复杂的过程中的IMA重新配置。它采用架构分析和设计语言（AADL）沿着连同其错误模型附件，ARINC 653附件，和模式转换机制来建模相关的组件错误状态转换，系统配置架构，和重构行为。基于所提出的AADL建模方法，这些模型信息被有目的地提取，以建立可计算的模型。然后提出了一种可靠性分析方法，该方法能够得到各种可靠性属性，如组件可靠性，软件体系结构下的配置可靠性，单任务可靠性和多任务可靠性。这些评估过程首次考虑了故障隔离重构和任务模式重构。最后，通过案例分析，验证了基于AADL模型的IMA分析方法的可行性。
To optimise the configuration and reconfiguration strategies in integrated modular avionics (IMA), modelling and evaluating the reliability of the reconfigurable IMA system have drawn great attention from system engineers and designers. Currently most researches regard each configuration as a single system state, but the detailed system architecture under each configuration or the events that trigger the reconfiguration behaviour are not involved. In this study, a modelling method is proposed for these complex processes of the IMA reconfiguration. It employs architecture analysis and design language (AADL) along with its Error Model Annex, ARINC653 Annex, and mode transition mechanisms to model the correlated component error state transitions, system configuration architectures, and reconfiguration behaviours. Based on the proposed AADL modelling approach, these model information is extracted purposefully to establish computable models. Then a reliability analysis approach is proposed which is able to result in various reliability attributions, such as component reliability, configuration reliability under the software architecture, single task reliability, and multi-tasking reliability. These evaluation processes take into account both of the fault isolation reconfiguration and task mode reconfiguration for the first time. Finally, the case study is involved, which demonstrates the feasibility of the analysis approach for IMA based on an AADL model.
登录
查看更多内容
DOI：
--
发表时间：
2006-07
期刊：
--
影响因子：
--
作者：
J. Bodeveix;M. Filali;Miloud Rached;D. Chemouil;Pierre Gaufillet
通讯作者：
J. Bodeveix;M. Filali;Miloud Rached;D. Chemouil;Pierre Gaufillet
DOI：
10.1109/apsec.2011.27
发表时间：
2011-12
期刊：
2011 18th Asia-Pacific Software Engineering Conference
影响因子：
--
作者：
Dajiang Suo;Jinxia An;Jihong Zhu
通讯作者：
Dajiang Suo;Jinxia An;Jihong Zhu
DOI：
10.1145/1647420.1647435
发表时间：
2009-11
期刊：
--
影响因子：
--
作者：
Julien Delange;L. Pautet;A. Plantec;Mickaël Kerboeuf;Frank Singhoff;F. Kordon
通讯作者：
Julien Delange;L. Pautet;A. Plantec;Mickaël Kerboeuf;Frank Singhoff;F. Kordon
DOI：
10.1145/1103846.1103847
发表时间：
2005-11
期刊：
--
影响因子：
--
作者：
Frank Singhoff;J. Legrand;Laurent Nana;L. Marcé
通讯作者：
Frank Singhoff;J. Legrand;Laurent Nana;L. Marcé
DOI：
10.1109/dasc.2013.6719667
发表时间：
2013-10
期刊：
2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC)
影响因子：
--
作者：
Qing Zhou;Tao Gu;Rong Hong;Shuo Wang
通讯作者：
Qing Zhou;Tao Gu;Rong Hong;Shuo Wang