Software Certification for Safety-Critical Systems: A Status Report

被引：0
|
作者：
Kornecki, Andrew [1 ]
Zalewski, Janusz [2 ]
机构：
[1] Embry Riddle Aeronaut Univ, Dept Comp & Software Engn, Daytona Beach, FL 32614 USA
[2] Florida Gulf Coast Univ, Dept Comp Sci, Ft Myers, FL 33965 USA
来源：
2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2 | 2008年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents an overview and the role of certification in safety-critical computer systems focusing on software and hardware use in the domain of civil aviation. It discusses certification activities according to RTCA DO-178B "Software Considerations in Airborne Systems and Equipment Certification" and RTCA DO-254 "Design Assurance Guidance for Airborne Electronic Hardware." Specifically, certification issues in real-time operating systems, programming languages, software development tools, complex electronic hardware and tool qualification are discussed. Results of an independent industry survey done by the authors are also presented.
引用
收藏
页码：618 / +
页数：2
相关论文
共 50 条
  • [21] Scrum for safety: an agile methodology for safety-critical software systems
    Mario Barbareschi
    Salvatore Barone
    Riccardo Carbone
    Valentina Casola
    Software Quality Journal, 2022, 30 : 1067 - 1088
  • [22] Software safety risk in legacy safety-critical computer systems
    Hill, Janice
    Baggs, Rhoda
    PROCEEDINGS IEEE SOUTHEASTCON 2007, VOLS 1 AND 2, 2007, : 229 - +
  • [23] Scrum for safety: an agile methodology for safety-critical software systems
    Barbareschi, Mario
    Barone, Salvatore
    Carbone, Riccardo
    Casola, Valentina
    SOFTWARE QUALITY JOURNAL, 2022, 30 (04) : 1067 - 1088
  • [24] Designing a B Model for safety-critical software systems
    Taouil-Traverson, S
    Vignes, S
    B'98: RECENT ADVANCES IN THE DEVELOPMENT AND USE OF THE B METHOD, 1998, 1393 : 210 - 225
  • [25] A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries
    Yiannis Papadopoulos
    John A. McDermid
    Requirements Engineering, 1998, 3 (2) : 143 - 149
  • [26] Ensuring system and software reliability in safety-critical systems
    Tsai, WT
    Mojdehbakhsh, R
    Zhu, F
    1998 IEEE WORKSHOP ON APPLICATION-SPECIFIC SOFTWARE ENGINEERING AND TECHNOLOGY (ASSET 98) - PROCEEDINGS, 1998, : 48 - 53
  • [27] Software Product Line Engineering for Safety-critical Systems
    Lohmueller, Philipp
    Bauer, Bernhard
    MODELSWARD: PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2019, 2019, : 209 - 216
  • [28] A tool for the design and analysis of software safety-critical systems
    Gill, JA
    Ferguson, F
    INFORMATION REUSE AND INTEGRATION, 2001, : 127 - 132
  • [29] Integrating Safety Certification into Model-based Testing of Safety-critical Systems
    Gannous, Aiman
    Andrews, Anneliese
    2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2019, : 250 - 260
  • [30] The Methodology of Software Quality Assurance for Safety-Critical Systems
    Jharko, E. Ph.
    2015 INTERNATIONAL SIBERIAN CONFERENCE ON CONTROL AND COMMUNICATIONS (SIBCON), 2015,
12345