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 条
  • [31] Reliability modeling for safety-critical software
    Schneidewind, NF
    [J]. IEEE TRANSACTIONS ON RELIABILITY, 1997, 46 (01) : 88 - 98
  • [32] DEBUGGING LOGIC-BASED REQUIREMENTS SPECIFICATIONS FOR SAFETY-CRITICAL SYSTEMS - A FRORL APPROACH
    TSAI, JJP
    LIU, A
    NAIR, K
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1994, 4 (02) : 205 - 228
  • [33] Can safety-critical software be flexible?
    Fraser, SW
    [J]. PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION, 2003, : 588 - 593
  • [34] Interactive Verification of Safety-Critical Software
    da Cruz, Daniela
    Henriques, Pedro Rangel
    Pinto, Jorge Sousa
    [J]. 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 519 - 528
  • [35] Software reuse: A safety-critical primer
    Wlad, Joseph
    [J]. IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2007, 22 (04) : 18 - 22
  • [36] Toward dependable safety-critical software
    Bastani, F
    Cukic, B
    Hilford, V
    Jamoussi, A
    [J]. SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 86 - 92
  • [37] On the formal development of safety-critical software
    Galloway, Andy
    Iwu, Frantz
    McDermid, John
    Toyn, Ian
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 362 - 373
  • [38] An approach for testing safety-critical software
    Li, WW
    Xu, ZW
    Jin, Y
    [J]. NINTH GREAT LAKES SYMPOSIUM ON VLSI, PROCEEDINGS, 1999, : 180 - 183
  • [39] SAFETY-CRITICAL SOFTWARE - A RESEARCH AGENDA
    BERZTISS, AT
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1994, 4 (02) : 165 - 181
  • [40] Software testing for safety-critical applications
    Wang, LF
    Tan, KC
    [J]. IEEE INSTRUMENTATION & MEASUREMENT MAGAZINE, 2005, 8 (02) : 38 - 47
12345