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 条

[11] Fault mitigation in safety-critical software systems
Subramanian, S
Elliott, L
Vishnuvajjala, RV
Tsai, WT
Mojdehbakhsh, R
NINTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 1996, : 12 - 17
[12] Software reuse in safety-critical airborne systems
Wlad, Joe
2006 IEEE/AIAA 25TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1- 3, 2006, : 1160 - 1167
[13] Software Certification of Safety-Critical Avionic Systems: DO-178C and Its Impacts
Youn, Won Keun
Hong, Seung Bum
Oh, Kyung Ryoon
Ahn, Oh Sung
IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2015, 30 (04) : 4 - 13
[14] Safety-critical software
1600, IEEE Computer Society (30):
[15] Safety-Critical Software
Merino, Pedro
Schoitsch, Erwin
ERCIM NEWS, 2008, (75): : 12 - 13
[16] SAFETY-CRITICAL SOFTWARE
PANCUCCI, D
ENGINEERING, 1991, 231 (08): : 45 - 47
[17] Component-Wise Software Certification for Safety-Critical Embedded Devices
Streitferdt, Detlef
Zimmermann, Armin
Schaffner, Joerg
Kallenbach, Michael
2017 8TH ANNUAL INDUSTRIAL AUTOMATION AND ELECTROMECHANICAL ENGINEERING CONFERENCE (IEMECON), 2017, : 175 - 180
[18] Hardware Certification for Safety-Critical Real-Time Systems
Kornecki, Andrew J.
Zalewski, Janusz
IFAC WORKSHOP ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2009), PROCEEDINGS, 2009, : 1 - 12
[19] OPEN PLATFORM FOR EVOLUTIONARY CERTIFICATION OF SAFETY-CRITICAL SYSTEMS INTRODUCTION
Larrucea, Xabier
Combelles, Annie
Favaro, John
IEEE SOFTWARE, 2013, 30 (03) : 26 - 27
[20] A Methodology for Modeling Software Safety in Safety-Critical Computing Systems
Kumar, S. Phani
Ramaiah, P. Seetha
Khanaa, V.
INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2009, 9 (07): : 185 - 193

← 1 2 3 4 5 →