Title :
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
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;
Conference_Titel :
Computer Science and Information Technology, 2008. IMCSIT 2008. International Multiconference on
Conference_Location :
Wisia
Print_ISBN :
978-83-60810-14-9
DOI :
10.1109/IMCSIT.2008.4747314
