Certification of Safety-Critical Systems

被引：2
|
作者：
Leveson, Nancy G. [1 ]
Thomas, John P. [2 ,3 ]
机构：
[1] MIT, Aeronaut & Astronaut, Engn Syst Lab, 77 Massachusetts Ave, Cambridge, MA 02139 USA
[2] MIT, Engn Syst Lab, 77 Massachusetts Ave, Cambridge, MA 02139 USA
[3] MIT, Safety & Cybersecur Res Grp, 77 Massachusetts Ave, Cambridge, MA 02139 USA
来源：
COMMUNICATIONS OF THE ACM | 2023年 / 66卷 / 10期
关键词：
D O I：
10.1145/3615860
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
4
引用
收藏
页码：22 / 26
页数：5
相关论文
共 50 条
  • [1] Software Certification for Safety-Critical Systems: A Status Report
    Kornecki, Andrew
    Zalewski, Janusz
    [J]. 2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2, 2008, : 618 - +
  • [2] Hardware Certification for Safety-Critical Real-Time Systems
    Kornecki, Andrew J.
    Zalewski, Janusz
    [J]. IFAC WORKSHOP ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2009), PROCEEDINGS, 2009, : 1 - 12
  • [3] OPEN PLATFORM FOR EVOLUTIONARY CERTIFICATION OF SAFETY-CRITICAL SYSTEMS INTRODUCTION
    Larrucea, Xabier
    Combelles, Annie
    Favaro, John
    [J]. IEEE SOFTWARE, 2013, 30 (03) : 26 - 27
  • [4] A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries
    Yiannis Papadopoulos
    John A. McDermid
    [J]. Requirements Engineering, 1998, 3 (2) : 143 - 149
  • [5] Integrating Safety Certification into Model-based Testing of Safety-critical Systems
    Gannous, Aiman
    Andrews, Anneliese
    [J]. 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2019, : 250 - 260
  • [6] Formal Methods for the engineering and certification of safety-critical Knowledge Based Systems
    Dondossola, G
    [J]. VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 113 - 130
  • [7] Validation and certification of safety-critical embedded systems -: The DECOS test bench
    Schoitsch, Erwin
    Althammer, Egbert
    Eriksson, Henrik
    Vinter, Jormy
    Goenczy, Laszlo
    Pataricza, Andras
    Csertan, Gyoergy
    [J]. COMPUTER SAFETY, RELIABILTIY, AND SECURITY, PROCEEDINGS, 2006, 4166 : 372 - 385
  • [8] Generating evidence for certification of modern processors for use in safety-critical systems
    Bate, I
    Conmy, P
    McDermid, J
    [J]. FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 125 - 134
  • [9] Software and hardware certification of safety-critical avionic systems: A comparison study
    Youn, Wonkeun
    Yi, Baeck-jun
    [J]. COMPUTER STANDARDS & INTERFACES, 2014, 36 (06) : 889 - 898
  • [10] SAFETY-CRITICAL SYSTEMS
    MCDERMID, JA
    THEWLIS, DJ
    [J]. SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 35 - 35
12345