Model-based safety analysis for an aviation software specification

被引：1

作者：

Hu J. ^{[1
,3
]}

Chen S. ^{[1
,3
]}

Chen D. ^{[4
]}

Kang J. ^{[2
]}

Wang H. ^{[2
]}

机构：

[1] College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing

[2] Department of Software, China National Aeronautic Radio Electronics Research Institute, Shanghai

[3] Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing

[4] School of Mechanical Engineering, Hefei University of Technology, Hefei

来源：

International Journal of Performability Engineering | 2020年 / 16卷 / 02期

关键词：

Fault extension; Fault tree; Flight guidance system; FMEA; MBSA; NuSMV; XSAP;

D O I：

10.23940/ijpe.20.02.p8.238254

中图分类号：

学科分类号：

摘要：

Model-based safety analysis (MBSA) is a kind of safety analysis technology that combines system fault models with formal analysis methods. In this paper, a real flight guidance subsystem (FGS) in aviation domain is studied, and an example of safety modeling and formal analysis of high-level software requirement specification is given. A framework of model transformation is established, which can transform a high-level FGS software requirement model described by Requirement State Machine Language (RSML-e) into a formal NuSMV model. Then, according to the real system requirements and engineering experience, the relevant failure modes and the safety properties that need to be verified are designed. Finally, formal safety analysis and verification based on NuSMV are implemented in a platform xSAP. This case study shows that the MBSA method can be used effectively for the safety analysis of the real aviation system. © 2020 Totem Publisher, Inc.

引用

页码：238 / 254

页数：16

共 50 条

[1] Model-Based Analysis for Safety Critical Software
Gulan, Stefan
Harnisch, Jens
Johr, Sven
Kretschmer, Roberto
Rieger, Stefan
Zalman, Rafael
COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2015, 2015, 9337 : 111 - 120
[2] Model-based safety analysis of software product lines
de Oliveira, Andre Luiz
Braga, Rosana T. V.
Masiero, Paulo Cesar
Papadopoulos, Yiannis
Habli, Ibrahim
Kelly, Tim
INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2016, 8 (5-6) : 412 - 426
[3] SMV model-based safety analysis of software requirements
Koh, Kwang Yong
Seong, Poong Hyun
RELIABILITY ENGINEERING & SYSTEM SAFETY, 2009, 94 (02) : 320 - 331
[4] Model-based integration of safety analysis and reliable software development
de Miguel, MA
Pauly, B
Person, T
Fernandez, J
WORDS 2005: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable, Proceedings, 2005, : 312 - 319
[5] INSEP - a model-based interactive software environment for protocol specification
Zhang, Yaoxue
Zhang, Yue
Advances in Modelling and Analysis B: Signals, Information, Data, Patterns, 1994, 30 (1-2): : 31 - 37
[6] Model-based Software Development. Efficient Use of Code Generators in model-based Software Development for the Automotive Industry and Aviation
Alber, Otto
BADEN-BADEN SPEZIAL 2012: ELEKTRONIK IM KRAFTFAHRZEUG, 2012, 2172 : 95 - 100
[7] An AADL Model-based Safety Analysis Method for Flight Control Software
Zhang, Tao
Jiang, Yechun
Ye, Junda
Jing, Cheng
Qu, Huamin
2014 6TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND COMMUNICATION NETWORKS, 2014, : 1148 - 1152
[8] A Model-Based Approach to Document Software Toolchains for Supporting a Safety Analysis
Baumgart, Stephan
Chen, Yin
Hamren, Rasmus
Punnekkat, Sasikumar
2021 15TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON 2021), 2021,
[9] Model-based specification
Bijlsma, L
INFORMATION PROCESSING LETTERS, 2001, 77 (2-4) : 77 - 84
[10] Verification Method of Airborne Software for Aviation Safety based on Model
Li Yu
Sun Kang
Li Xin
PROCEEDINGS OF 2019 IEEE 8TH JOINT INTERNATIONAL INFORMATION TECHNOLOGY AND ARTIFICIAL INTELLIGENCE CONFERENCE (ITAIC 2019), 2019, : 1516 - 1520

← 1 2 3 4 5 →