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 条

[31] 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
[32] 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
[33] Testing safety-critical software
Nikolaropoulos, E
HEWLETT-PACKARD JOURNAL, 1997, 48 (03): : 89 - 94
[34] Mandate safety-critical software
Frisina, J
COMMUNICATIONS OF THE ACM, 2004, 47 (01) : 12 - 12
[35] SAFETY-CRITICAL SOFTWARE - A VIGNETTE
MCDERMID, J
SOFTWARE ENGINEERING JOURNAL, 1993, 8 (01): : 2 - 3
[36] EVALUATION OF SAFETY-CRITICAL SOFTWARE
PARNAS, DL
VANSCHOUWEN, AJ
KWAN, SP
COMMUNICATIONS OF THE ACM, 1990, 33 (06) : 636 - 648
[37] Verification of Safety-Critical Software
Andersen, B. Scott
Romanski, George
COMMUNICATIONS OF THE ACM, 2011, 54 (10) : 52 - 57
[38] Perspectives on safety-critical software
Bhansali, PV
AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE - PROCEEDINGS, 1997, : 108 - 109
[39] Changing safety-critical software
Rierson, LK
IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2001, 16 (06) : 25 - 30
[40] Formal Methods for the engineering and certification of safety-critical Knowledge Based Systems
Dondossola, G
VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 113 - 130

← 1 2 3 4 5 →