TY - GEN
T1 - Formal specification and risk assessment approach of integrated complex system
T2 - 1st International Conference on Reliability Systems Engineering, ICRSE 2015
AU - Ren, Fuchun
AU - Zhao, Tingdi
AU - Wang, Hongli
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2015/12/24
Y1 - 2015/12/24
N2 - 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.
AB - 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.
KW - Integrated Modular Avionics (IMA)
KW - fault propagation
KW - risk assessment
KW - safety-critical system
UR - https://www.scopus.com/pages/publications/84962638643
U2 - 10.1109/ICRSE.2015.7366429
DO - 10.1109/ICRSE.2015.7366429
M3 - 会议稿件
AN - SCOPUS:84962638643
T3 - Proceedings of 2015 the 1st International Conference on Reliability Systems Engineering, ICRSE 2015
BT - Proceedings of 2015 the 1st International Conference on Reliability Systems Engineering, ICRSE 2015
A2 - Zhang, Shunong
A2 - Wang, Zili
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 21 October 2015 through 23 October 2015
ER -