Software certification for safety-critical systems: A status report

Author

Kornecki, Andrew ; Zalewski, Janusz

Author_Institution

Dept. of Comput. & Software Eng., Embry-Riddle Aeronaut. Univ., Daytona Beach, FL

fYear

2008

fDate

20-22 Oct. 2008

Firstpage

665

Lastpage

672

Abstract

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 ldquoSoftware Considerations in Airborne Systems and Equipment Certificationrdquo and RTCA DO-254 ldquoDesign Assurance Guidance for Airborne Electronic Hardwarerdquo. Specifically, certification issues in real-time operating systems, programming languages, software in development tools, complex electronic hardware and tool qualification are discussed. Results of an independent industry survey done by the authors are also presented.

Keywords

aerospace computing; aerospace safety; avionics; certification; operating systems (computers); programming languages; software engineering; RTCA DO-178B; RTCA DO-254; airborne electronic hardware; airborne systems; civil aviation; complex electronic hardware; equipment certification; programming languages; real-time operating systems; safety-critical systems; software certification; software development tools; tool qualification; Certification; Software safety;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Science and Information Technology, 2008. IMCSIT 2008. International Multiconference on

Conference_Location

Wisia

Print_ISBN

978-83-60810-14-9

Type

conf

DOI

10.1109/IMCSIT.2008.4747314

Filename

4747314