Certification of software for real-time safety-critical systems: state of the art

被引：27

作者：

Kornecki, Andrew ^{[1
]}

Zalewski, Janusz ^{[2
]}

机构：

[1] Embry Riddle Aeronaut Univ, Daytona Beach, FL 32114 USA

[2] Florida Gulf Coast Univ, 10501 FGCU Blvd, Ft Myers, FL 33965 USA

来源：

INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING | 2009年 / 5卷 / 02期

关键词：

Software certification; Software tools; Software safety; Tool qualification; Safety-critical systems; Real-time systems;

D O I：

10.1007/s11334-009-0088-1

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper presents an overview and discusses the role of certification in safety-critical computer systems focusing on software, and partially hardware, used in the civil aviation domain. It discusses certification activities according to RTCA DO-178B "Software Considerations in Airborne Systems and Equipment Certification" and touches on tool qualification according to RTCA DO-254 "Design Assurance Guidance for Airborne Electronic Hardware." Specifically, certification issues as related to real-time operating systems and programming languages are reviewed, as well as software development tools and complex electronic hardware tool qualification processes are discussed. Results of an independent industry survey done by the authors are also presented.

引用

页码：149 / 161

页数：13

共 50 条

[1] Hardware certification for real-time safety-critical systems: State of the art
Kornecki, Andrew J.
Zalewski, Janusz
[J]. ANNUAL REVIEWS IN CONTROL, 2010, 34 (01) : 163 - 174
[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] Building safety-critical real-time systems with synchronous software components
Gunzert, M
[J]. REAL TIME PROGRAMMING 1999 (WRTP'99), 1999, : 63 - 68
[4] Decomposition in real-time safety-critical systems
Mukherjee, P
Stavridou, V
[J]. REAL-TIME SYSTEMS, 1998, 14 (02) : 183 - 202
[5] Decomposition in Real-Time Safety-Critical Systems
Paul Mukherjee
Victoria Stavridou
[J]. Real-Time Systems, 1998, 14 : 183 - 202
[6] Criteria for software tools evaluation in the development of safety-critical real-time systems
Kornecki, AJ
Zalewski, J
[J]. PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOL 1- 6, 2004, : 2364 - 2370
[7] Experimental evaluation of software development tools for safety-critical real-time systems
Kornecki, Andrew J.
Zalewski, Janusz
[J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2005, 1 (02) : 176 - 188
[8] 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 - +
[9] Special section on real-time safety-critical systems
Janusz Zalewski
[J]. Innovations in Systems and Software Engineering, 2009, 5 (2) : 95 - 96
[10] The Shift to Multicores in Real-Time and Safety-Critical Systems
Saidi, Selina
Ernst, Rolf
Uhrig, Sascha
Theiling, Henrik
de Dinechin, Benoit Dupont
[J]. 2015 INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN AND SYSTEM SYNTHESIS (CODES+ISSS), 2015, : 220 - 229

← 1 2 3 4 5 →