Safety cases for software-intensive systems

被引：0
|
作者：
Ainsworth, M [1 ]
Eastaughffe, K [1 ]
Simpson, A [1 ]
机构：
[1] Praxis Crit Syst Ltd, Bath BA1 1PX, Avon, England
来源：
ASPECTS OF SAFETY MANAGEMENT | 2001年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In most industries, best practice for software and systems that use software is to provide a detailed written argument for product safety, that is, a Safety Case. The implementation of system functions by software represents some unique risks to safety. Flexible programming languages and powerful microprocessors provide an inexpensive and flexible means for introducing complexity, and in safety-related projects this can significantly increase the time, resources and cost involved in producing a Safety Case for the system. This paper introduces an approach to Safety Cases which has been successfully applied on a number of projects by Praxis Critical Systems. We believe it provides strong, clear Safety Cases for software-intensive systems and at the same time brings significant cost benefits to developing them.
引用
收藏
页码：1 / 9
页数：9
相关论文
共 50 条
  • [1] Model-Based Safety-Cases for Software-Intensive Systems
    Braun, Peter
    Philipps, Jan
    Schaetz, Bernhard
    Wagner, Stefan
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 238 (04) : 71 - 77
  • [2] Safety Assessment of Complex, Software-Intensive Systems
    Leveson, Nancy G.
    Fleming, Cody Harrison
    Spencer, Melissa
    Thomas, John
    Wilkinson, Chris
    [J]. SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2012, 5 (01): : 233 - 244
  • [3] A systems-theoretic approach to safety in software-intensive systems
    Leveson, NG
    [J]. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2004, 1 (01) : 66 - 86
  • [4] Safety Analysis of Software-intensive Motion Control Systems
    Debouk, Rami
    Czerny, Barbara
    D'Ambrosio, Joseph
    Joyce, Jeffrey
    [J]. SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2009, 2 (01): : 281 - 286
  • [5] Awareness in Software-Intensive Systems
    Vassev, Emil
    Hinchey, Mike
    [J]. COMPUTER, 2012, 45 (12) : 84 - 87
  • [6] Efficient engineering of safety-critical, software-intensive systems
    Taiber, Joachim
    McGregor, John D.
    [J]. 2014 INTERNATIONAL CONFERENCE ON CONNECTED VEHICLES AND EXPO (ICCVE), 2014, : 836 - 841
  • [7] Software-intensive Systems-of-Systems
    Drira, Khalil
    Cuesta, Carlos E.
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2021, 212
  • [8] Engineering safety-related requirements for software-intensive systems
    Firesmith, DG
    [J]. ICSE 05: 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2005, : 720 - 721
  • [9] Special section on: Reliability and Safety Certification of Software-Intensive Systems
    Gallina, Barbara
    Natella, Roberto
    [J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 2017, 158 : 152 - 152
  • [10] Evolutionary Architecting of Software-Intensive Systems
    Axelsson, Jakob
    [J]. ERCIM NEWS, 2012, (88): : 24 - 25
12345