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 条
  • [1] Verification of requirements for safety-critical software
    Carpenter, PB
    [J]. ACM SIGADA ANNUAL INTERNATIONAL CONFERENCE (SIGADA'99) - PROCEEDINGS, 1999, 19 (03): : 23 - 29
  • [2] ASSESSMENT OF SAFETY-CRITICAL SPECIFICATIONS
    WILLIAMS, LG
    [J]. IEEE SOFTWARE, 1994, 11 (01) : 51 - 60
  • [3] Acquisition and structuration of knowledge of safety-critical software specifications.
    Darricau, M
    Hadj-Mabrouk, H
    Ganascia, JG
    [J]. TRANSPORTATION SYSTEMS 1997, VOLS 1-3, 1997, : 1151 - 1155
  • [4] Formalization and assessment of regulatory requirements for safety-critical software
    Vilkomir, Sergiy A.
    Bowen, Jonathan P.
    Ghose, Aditya K.
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2006, 2 (3-4) : 165 - 178
  • [5] Requirements discovery during the testing of safety-critical software
    Lutz, RR
    Mikulski, IC
    [J]. 25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 578 - 583
  • [6] Translation of safety-critical software requirements specification to Lustre
    Park, Dongchul
    [J]. INNOVATIONS AND ADVANCED TECHNIQUES IN COMPUTER AND INFORMATION SCIENCES AND ENGINEERING, 2007, : 157 - 162
  • [7] An Approach for automated safety testing of safety-critical software system based on safety requirements
    Yu, Gang
    Xu, Zhong Wei
    Du, Jun Wei
    [J]. 2009 INTERNATIONAL FORUM ON INFORMATION TECHNOLOGY AND APPLICATIONS, VOL 3, PROCEEDINGS, 2009, : 166 - 169
  • [8] Safety-critical software
    [J]. 1600, IEEE Computer Society (30):
  • [9] Safety-Critical Software
    Merino, Pedro
    Schoitsch, Erwin
    [J]. ERCIM NEWS, 2008, (75): : 12 - 13
  • [10] SAFETY-CRITICAL SOFTWARE
    PANCUCCI, D
    [J]. ENGINEERING, 1991, 231 (08): : 45 - 47
12345