Formal modeling and verification for mission safety of avionics system

被引：0

作者：

Niu H. ^{[1
]}

Ma C. ^{[1
]}

Han P. ^{[2
]}

Yi J. ^{[1
]}

机构：

[1] School of Civil Aviation, Northwestern Polytechnical University, Xi'an

[2] 20th Institute, China Electronics Technology Corporation, Xi'an

来源：

Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics | 2023年 / 45卷 / 05期

关键词：

avionics system; formal modeling; mission safety; simulation and verification; timed automata;

D O I：

10.12305/j.issn.1001-506X.2023.05.33

中图分类号：

学科分类号：

摘要：

In view of lacking simulation and verification means for mission safety analysis of avionics system, a formal modeling and verification method for mission safety of avionics system is proposed. A formal model of avionics system ' mission process under standard operating conditions is formed based on timed automata theory and aviation regulations firstly. Then, hazard causes and safe constraints are integrated into the model as state transitions to construct verification model of mission safety for avionics system, respectively. Finally, by traversing the state space to verify the activity of the model, the accessibility of the hazard causes and the adequacy of the safe constraints, the automatic verification of the task security analysis results is realized. Experimental results show that the proposed method is feasible and effective. The method can provide a model basis for the ongoing process of mission safety analysis and design for avionics system, as well as ensure the correctness and integrity of the analysis results. © 2023 Chinese Institute of Electronics. All rights reserved.

引用

页码：1553 / 1569

页数：16

共 33 条

[1]

XIAO G., Civil aircraft integrated surveillance system [ M], (2019)

[2]

CHEN Y J, FENG W, JIANG Z Q, Et al., An accident causation model based on safety information cognition and its application, Reliability Engineering and System Safety, 207, (2021)

[3]

HUXY, WANG R P, WANG X, Et al., Recent development of safety and reliability analysis technology for model-based complex system, Acta Aeronautica et Astronautica Sinica, 41, 6, (2020)

[4]

DGHAYMD, HOANG T S, TURNOCK S R, Et al., An STPA-based formal composition framework for trustworthy autonomous naritime systems, Safety Science, 136, (2021)

[5]

SHIN S M, LEE S H, SHIN S K, Et al., STPA-based hazard and importance analysis on NPP safety I&-C systems focusing on human-system interactions, Reliability Engineering and System Safety, 213, (2021)

[6]

ANDREWS J, TOLO S., Dynamic and dependent tree theory: a framework for the analysis of fault trees with dependent basic events, Reliability Engineering &- System Safety, 203, (2022)

[7]

MAIO F D, BARALDI P, ESLAMIAN A., A dynamic event tree for a blowout accident in an oil deep-water well equipped with a managed pressure drilling condition monitoring and operation system, Journal of Loss Prevention in the Process Industries, 79, (2022)

[8]

SHI X D, CHENG B Y, HUANG K, Et al., Risk assessment of aircraft IDG based fuzzy TOPSIS-FMEA, Systems Engineering and Electronics, 44, 6, pp. 2060-2064, (2022)

[9]

NIU H T, MA C B, HAN P., A decentralized method for collision detection and avoidance applied to civil aircraft, Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering, 235, 6, pp. 621-645, (2021)

[10]

Crashed during approach, Boeing 737 -800, near Amsterdam Schiphol Airport, pp. 46-50, (2009)

← 1 2 3 4 →