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 条
  • [21] The ethics of safety-critical systems
    Bowen, J
    [J]. COMMUNICATIONS OF THE ACM, 2000, 43 (04) : 91 - 97
  • [22] Safety-critical systems design
    Douglass, Bruce Powel
    [J]. Electronic Engineering (London), 1998, 70 (862):
  • [23] Managing Uncertainty in the Design of Safety-Critical Aviation Systems Safety-Critical Unmanned Aerial Systems
    Gebre-Egziabher, Demoz
    [J]. PROCEEDINGS OF THE 31ST INTERNATIONAL TECHNICAL MEETING OF THE SATELLITE DIVISION OF THE INSTITUTE OF NAVIGATION (ION GNSS+ 2018), 2018, : 2297 - 2320
  • [24] IEC 61508 - A suitable basis for the certification of safety-critical transport-infrastructure systems??
    Fowler, D
    Bennett, P
    [J]. COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS, 2000, 1943 : 250 - 263
  • [25] Framework and tooling proposals for Agile certification of safety-critical embedded software in avionic systems
    Baron, Claude
    Louis, Vincent
    [J]. COMPUTERS IN INDUSTRY, 2023, 148
  • [26] A Framework for Software Safety in Safety-Critical Systems
    Medikonda, Ben Swarup
    Panchumarthy, Seetha Ramaiah
    [J]. NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
  • [27] Certification of software tools used in safety-critical software development
    Schuster, Gyorgy
    [J]. 2022 IEEE 5TH INTERNATIONAL CONFERENCE AND WORKSHOP OBUDA ON ELECTRICAL AND POWER ENGINEERING, CANDO-EPE, 2022, : 211 - 215
  • [28] Steering Actuator for Safety-critical Systems
    Huber, Stephan
    Koch, Matthias
    Krovvidi, Raviteja
    Fock, Malte
    [J]. ATZ worldwide, 2021, 123 (01) : 30 - 33
  • [29] Parallel Decomposition for Safety-Critical Systems
    Uygur, Guerkan
    Sattler, Sebastian M.
    [J]. 2013 3RD INTERNATIONAL ELECTRIC DRIVES PRODUCTION CONFERENCE (EDPC), 2013, : 504 - 511
  • [30] Safety-critical systems built with COTS
    Profeta, JA
    Andrianos, NP
    Yu, B
    Johnson, BW
    DeLong, TA
    Guaspari, D
    Jamsek, D
    [J]. COMPUTER, 1996, 29 (11) : 54 - &
12345