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 条

[1] Certification of Safety-Critical Systems
Leveson, Nancy G.
Thomas, John P.
COMMUNICATIONS OF THE ACM, 2023, 66 (10) : 22 - 26
[2] CERTIFICATION OF SAFETY-CRITICAL SOFTWARE BY LICENSED SOFTWARE ENGINEERS
DAVIS, PI
COMPUTER, 1992, 25 (12) : 72 - 73
[3] Software and hardware certification of safety-critical avionic systems: A comparison study
Youn, Wonkeun
Yi, Baeck-jun
COMPUTER STANDARDS & INTERFACES, 2014, 36 (06) : 889 - 898
[4] Certification of software tools used in safety-critical software development
Schuster, Gyorgy
2022 IEEE 5TH INTERNATIONAL CONFERENCE AND WORKSHOP OBUDA ON ELECTRICAL AND POWER ENGINEERING, CANDO-EPE, 2022, : 211 - 215
[5] Towards a continuous certification of safety-critical avionics software
Baron, Claude
Louis, Vincent
COMPUTERS IN INDUSTRY, 2021, 125
[6] Certification of software for real-time safety-critical systems: state of the art
Kornecki, Andrew
Zalewski, Janusz
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2009, 5 (02) : 149 - 161
[7] A Framework for Software Safety in Safety-Critical Systems
Medikonda, Ben Swarup
Panchumarthy, Seetha Ramaiah
NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
[8] UML for Software Safety and Certification Model-Based Development of Safety-Critical Software-Intensive Systems
Huhn, Michaela
Hungar, Hardi
MODEL-BASED ENGINEERING OF EMBEDDED REAL-TIME SYSTEMS, 2010, 6100 : 201 - +
[9] Framework and tooling proposals for Agile certification of safety-critical embedded software in avionic systems
Baron, Claude
Louis, Vincent
COMPUTERS IN INDUSTRY, 2023, 148
[10] Specifying Software Requirements for Safety-Critical Railway Systems: An Experience Report
Provenzano, Luciana
Hanninen, Kaj
REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, REFSQ 2017, 2017, 10153 : 363 - 369

← 1 2 3 4 5 →