Safety analysis of software requirements: model and process

被引：4

作者：

Li, Shaojun ^{[1
]}

Duo, Suo ^{[1
]}

机构：

[1] AVIC, China Aeropolytechnol Estab, Beijing 100191, Peoples R China

来源：

3RD INTERNATIONAL SYMPOSIUM ON AIRCRAFT AIRWORTHINESS (ISAA 2013) | 2014年 / 80卷

关键词：

Safety; software safety; safety-critical software; software safety analysis; software requirements analysis;

D O I：

10.1016/j.proeng.2014.09.071

中图分类号：

V [航空、航天];

学科分类号：

08 ; 0825 ;

摘要：

Since lots of software hazards are caused by incompleteness or omissions of requirements, safety analysis of software requirements becomes more and more important. However, there are no systematic researches and exposition on the scope and the requirements of safety analysis. Safety analysts often get confused about how to take a complete analysis of software safety requirements. In this paper, referring to the software V&V model, an analysis model is proposed to specify the scope of software requirements safety analysis. Then, a process framework of safety analysis is determined to verify those analysis requirements derived from the analysis model. Relevant software safety analysis techniques which may be used in the analysis process framework were classified. Finally, the analysis model and process were applied to the landing gear control system. (C) 2014 Published by Elsevier Ltd.

引用

页码：153 / 164

页数：12

共 50 条

[1] SMV model-based safety analysis of software requirements
Koh, Kwang Yong
Seong, Poong Hyun
[J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 2009, 94 (02) : 320 - 331
[2] From safety analysis to software requirements
Hansen, KM
Ravn, AP
Stavridou, V
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1998, 24 (07) : 573 - 584
[3] A control model of the software requirements process
White, Anthony S.
[J]. KYBERNETES, 2013, 42 (03) : 423 - 447
[4] Analyzing the requirements to implement a data analysis model for software process improvement
Mejia, Jezreel
Iniguez, Freddy
Munoz, Mirna
[J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2019, 31 (22):
[5] Consistency Verification Between Goal Model and Process Model in Requirements Analysis of Networked Software
Liu, Yang
Wu, Jinzhao
Qiao, Rui
[J]. JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE, 2014, 11 (05) : 1385 - 1393
[6] ON THE SAFETY ANALYSIS OF REQUIREMENTS SPECIFICATIONS FOR SAFETY-CRITICAL SOFTWARE
SAEED, A
DELEMOS, R
ANDERSON, T
[J]. ISA TRANSACTIONS, 1995, 34 (03) : 283 - 295
[7] An Analysis Method of Safety Requirements for Automotive Software Systems
Matsubara, Moe
Aoyama, Mikio
[J]. 2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2017), 2017, : 408 - 416
[8] A Framework for Airborne Aviation Software Safety Requirements Analysis
Zhan Yifan
Bao Xiaohong
Li Zhen
[J]. PROCEEDINGS OF 2009 INTERNATIONAL SYMPOSIUM ON AIRCRAFT AIRWORTHINESS, 2009, : 310 - 315
[9] Integrating software requirements analysis and safety control approach
Cai Gaoqiang
Jia Limin
Zhang Ye
[J]. IMECS 2007: INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, VOLS I AND II, 2007, : 1127 - +
[10] Deriving Safety Software Requirements from an AltaRica System Model
Humbert, Sophie
Seguin, Christel
Castel, Charles
Bosc, Jean-Marc
[J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2008, 5219 : 320 - +

← 1 2 3 4 5 →