ON THE SAFETY ANALYSIS OF REQUIREMENTS SPECIFICATIONS FOR SAFETY-CRITICAL SOFTWARE

被引：8
|
作者：
SAEED, A
DELEMOS, R
ANDERSON, T
机构：
[1] Department of Computing Science CSR, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, Bedson Building
来源：
ISA TRANSACTIONS | 1995年 / 34卷 / 03期
基金：
英国工程与自然科学研究理事会;
关键词：
D O I：
10.1016/0019-0578(95)00019-V
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
For computer based safety-critical systems, it is most efficient to consider safety concerns as early as possible during software development in order to ensure that safety problems do not propagate through subsequent phases of development. In this paper, we present an approach for the safety analysis of software specifications that are produced during the requirements analysis. The safety analysis is conducted concurrently with the requirements analysis, and its aim is to assess whether the risk associated with a requirements specification is acceptable.
引用
收藏
页码：283 / 295
页数：13
相关论文
共 50 条
  • [21] Safety analysis of safety-critical software for nuclear digital protection system
    Park, Gee-Yong
    Lee, Jang-Soo
    Cheon, Se-Woo
    Kwon, Kee-Choon
    Jee, Eunkyoung
    Koh, Kwang Yong
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2007, 4680 : 148 - +
  • [22] Efficiency analysis & safety assessment of automatic testing for safety-critical software
    Wu, FM
    Huang, L
    [J]. ATS 2003: 12TH ASIAN TEST SYMPOSIUM, PROCEEDINGS, 2003, : 106 - 109
  • [23] Specifying Software Requirements for Safety-Critical Railway Systems: An Experience Report
    Provenzano, Luciana
    Hanninen, Kaj
    [J]. REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, REFSQ 2017, 2017, 10153 : 363 - 369
  • [24] Additional requirements for process assessment in safety-critical software and systems domain
    Johansson, Mika
    Nevalainen, Risto
    [J]. JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2012, 24 (05) : 501 - 510
  • [25] Formalization and Validation of Safety-Critical Requirements
    Cimatti, Alessandro
    Roveri, Marco
    Susi, Angelo
    Tonetta, Stefano
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (20): : 68 - 75
  • [26] DESIGN OF A PLATFORM FOR SAFETY JUSTIFICATION OF SAFETY-CRITICAL SOFTWARE
    Guo Jia
    Yang Ming
    [J]. PROCEEDINGS OF THE 25TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING, 2017, VOL 1, 2017,
  • [27] A tool for the design and analysis of software safety-critical systems
    Gill, JA
    Ferguson, F
    [J]. INFORMATION REUSE AND INTEGRATION, 2001, : 127 - 132
  • [28] An Ontological Analysis of Safety-Critical Software and Its Anomalies
    Liu, Hezhen
    Jin, Zhi
    Zheng, Zheng
    Huang, Chengqiang
    Zhang, Xun
    [J]. 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, 2022, : 311 - 320
  • [29] Software reliability analysis for safety-critical and control systems
    Kumar, Pramod
    Singh, Lalit Kumar
    Kumar, Chiranjeev
    [J]. QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2020, 36 (01) : 340 - 353
  • [30] Software tools for safety-critical software development
    Alan Wassyng
    Mark Lawford
    [J]. International Journal on Software Tools for Technology Transfer, 2006, 8 (4-5) : 337 - 354
12345