A Framework for Airborne Aviation Software Safety Requirements Analysis

被引:0
|
作者
Zhan Yifan [1 ]
Bao Xiaohong [1 ]
Li Zhen [1 ]
机构
[1] Beihang Univ, Dept Syst Engn Engn Technol, Beijing 100191, Peoples R China
关键词
Requirements; Software safety; Framework;
D O I
暂无
中图分类号
V [航空、航天];
学科分类号
08 ; 0825 ;
摘要
This paper presents a method to carry out the work of safety requirements for software in safety-critical systems, particularly in the aeronautical engineering domain. This method is based on the risk control idea. We make series iterative steps to develop full considered, risk rank classified software safety requirements, in order to support software developing work and make a guide for resource allocation and activity tailoring. In this paper, we propose an effective and operable framework which combines with the existing software engineering process well, software organizations can generate and classify software safety requirements to guide their following development process.
引用
收藏
页码:310 / 315
页数:6
相关论文
共 50 条
  • [1] A study on airborne software safety requirements patterns
    Chang Wei
    Bao Xiaohong
    Li Xuefei
    [J]. 2013 IEEE 7TH INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY - COMPANION (SERE-C), 2013, : 132 - 137
  • [2] Verification Method of Airborne Software for Aviation Safety based on Model
    Li Yu
    Sun Kang
    Li Xin
    [J]. PROCEEDINGS OF 2019 IEEE 8TH JOINT INTERNATIONAL INFORMATION TECHNOLOGY AND ARTIFICIAL INTELLIGENCE CONFERENCE (ITAIC 2019), 2019, : 1516 - 1520
  • [3] Research on Elicitation of Safety Testing Requirements for Airborne Software
    Li Hongbing
    Bao Xiaohong
    Ji Shujuan
    [J]. 3RD INTERNATIONAL SYMPOSIUM ON AIRCRAFT AIRWORTHINESS (ISAA 2013), 2014, 80 : 303 - 312
  • [4] Automatic analysis technology for aviation equipment software requirements
    Zhou Han-Qing
    Li Hai-Feng
    Huang Yan-Bing
    [J]. PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON MECHATRONICS, MATERIALS, CHEMISTRY AND COMPUTER ENGINEERING 2015 (ICMMCCE 2015), 2015, 39 : 1323 - 1328
  • [5] Research on Complex Airborne Software Safety Engineering Framework
    Bao, Xiaohong
    Ju, Ran
    Li, Hongbing
    [J]. PROCEEDINGS OF 2014 10TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY AND SAFETY (ICRMS), VOLS I AND II, 2014, : 358 - 362
  • [6] From safety analysis to software requirements
    Hansen, KM
    Ravn, AP
    Stavridou, V
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1998, 24 (07) : 573 - 584
  • [7] Airborne software concerns in civil aviation certification
    Sakugawa, B
    Cury, E
    Yano, ET
    [J]. DEPENDABLE COMPUTING, PROCEEDINGS, 2005, 3747 : 52 - 60
  • [8] Case Study on Formal Modeling and Analysis of Airborne Software Requirements
    Hu, Jun
    Lü, Jia-Run
    Wang, Li-Song
    Kang, Jie-Xiang
    Wang, Hui
    Gao, Zhong-Jie
    [J]. Ruan Jian Xue Bao/Journal of Software, 2022, 33 (05): : 1652 - 1673
  • [9] Safety analysis of software requirements: model and process
    Li, Shaojun
    Duo, Suo
    [J]. 3RD INTERNATIONAL SYMPOSIUM ON AIRCRAFT AIRWORTHINESS (ISAA 2013), 2014, 80 : 153 - 164
  • [10] ANALYSIS OF THE AVIATION SAFETY ISSUES USING TEM FRAMEWORK
    Marusic, Zeljko
    Alfirevic, Izidor
    Radisic, Tomislav
    [J]. TEHNICKI VJESNIK-TECHNICAL GAZETTE, 2009, 16 (03): : 79 - 84