Formal Specification and Risk Assessment Approach of Integrated Complex System: A Case Study in IMA Domain

被引:0
作者
Ren, Fuchun [1 ]
Zhao, Tingdi [1 ]
Wang, Hongli [1 ]
机构
[1] Beihang Univ, Sch Reliabil & Syst Engn, Beijing, Peoples R China
来源
PROCEEDINGS OF THE 2015 FIRST INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING 2015 ICRSE | 2015年
关键词
Integrated Modular Avionics (IMA); safety-critical system; fault propagation; risk assessment;
D O I
暂无
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
Integrated Modular Avionics (IMA), which is the novel concept of avionics architecture, can effectively improve the efficiency of system while reducing resource allocation. However, it also brings new types of risk such as fault propagation since the flexible mapping between logical configuration and physics configuration. In some way, IMA could be regarded as a network where interdependency relationship between function and resource denotes the edge, function and resource denotes the node. Vulnerability and criticality of nodes are characterized by scheduling frequency and degree, for simplicity, redundancy is not considered. As a safety-critical system, IMA structure itself provides a potential route for fault propagation with the need of flexible resource scheduling. Effective modeling and risk assessment would help for the development bargaining or reconfigure strategy implementing. This paper provides a formal specification and risk assessment approach for integrated complex system and a case study in IMA domain is illustrated.
引用
收藏
页数:6
相关论文
共 18 条
  • [1] Annighofer B., 2012, 31STDIGITAL AV SYST
  • [2] [Anonymous], 30THDIGITAL AV SYST
  • [3] [Anonymous], 2004, 4626 STANAG ASAAC
  • [4] [Anonymous], 2007, 2007 IEEE AIAA 26 DI
  • [5] Optimizing complex networks for resilience against cascading failure
    Ash, J.
    Newth, D.
    [J]. PHYSICA A-STATISTICAL MECHANICS AND ITS APPLICATIONS, 2007, 380 : 673 - 683
  • [6] Bartley G., 2008, 27 DIG AV SYST C
  • [7] Butz Henning, 2010, Signal, V10, P1000
  • [8] Moving From Federated to Integrated Architectures in Automotive: The Role of Standards, Methods and Tools
    Di Natale, Marco
    Sangiovanni-Vincentelli, Alberto Luigi
    [J]. PROCEEDINGS OF THE IEEE, 2010, 98 (04) : 603 - 620
  • [9] Systemic risk in a unifying framework for cascading processes on networks
    Lorenz, J.
    Battiston, S.
    Schweitzer, F.
    [J]. EUROPEAN PHYSICAL JOURNAL B, 2009, 71 (04) : 441 - 460
  • [10] Formal Verification for Inter-Partitions Communication of RTOS Supporting IMA
    Park, Sachoun
    Kwon, Gihwon
    [J]. FRONTIER AND INNOVATION IN FUTURE COMPUTING AND COMMUNICATIONS, 2014, 301 : 415 - 421