Safety-Driven Design for Software-Intensive Aerospace and Automotive Systems

被引:30
|
作者
Stringfellow, Margaret V. [1 ]
Leveson, Nancy G. [1 ]
Owens, Brandon D. [1 ]
机构
[1] MIT Complex Syst Res Lab, Cambridge, MA 02139 USA
基金
美国国家科学基金会;
关键词
Accident; complexity; control; hazard; process; risk; safety; safety-driven design; software; STAMP; STPA;
D O I
10.1109/JPROC.2009.2039551
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
Too often, systems are designed and then an attempt is made to add safety features or to prove that the design is safe after the fact. Safety has to be designed into a system from the start-it cannot be effectively added on to a mature design. In addition, the increasing use of software is changing the nature of accident causation in software-intensive systems and our safety engineering techniques must change accordingly. This article will describe a new hazard analysis technique, called STPA, which is effective on software-intensive systems. An advantage of this technique is that it can be used to drive the earliest design decisions and then proceed in parallel with ensuing design decisions and design refinement. Not only is this approach more effective, but the cost is no more than a more conventional design process and potentially much cheaper.
引用
收藏
页码:515 / 525
页数:11
相关论文
共 50 条
  • [1] Safety cases for software-intensive systems
    Ainsworth, M
    Eastaughffe, K
    Simpson, A
    [J]. ASPECTS OF SAFETY MANAGEMENT, 2001, : 1 - 9
  • [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] Guiding requirements engineering for software-intensive embedded systems in the automotive industry
    Braun, Peter
    Broy, Manfred
    Houdek, Frank
    Kirchmayr, Matthias
    Mueller, Mark
    Penzenstadler, Birgit
    Pohl, Klaus
    Weyer, Thorsten
    [J]. COMPUTER SCIENCE-RESEARCH AND DEVELOPMENT, 2014, 29 (01): : 21 - 43
  • [6] On the Architecture-Driven Development of Software-Intensive Systems-of-Systems
    Cavalcante, Everton
    [J]. 2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 2, 2015, : 899 - 902
  • [7] Model-based Architecture of Software-intensive Intelligent Automotive Systems
    Sobti, Rajeev
    Kaur, Parampreet
    [J]. 2018 4TH INTERNATIONAL CONFERENCE ON COMPUTING SCIENCES (ICCS), 2018, : 132 - 136
  • [8] Awareness in Software-Intensive Systems
    Vassev, Emil
    Hinchey, Mike
    [J]. COMPUTER, 2012, 45 (12) : 84 - 87
  • [9] 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
  • [10] Software-intensive Systems-of-Systems
    Drira, Khalil
    Cuesta, Carlos E.
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2021, 212 (212)