DocumentCode
3559778
Title
Software Tools for Safety-Critical Systems According to DO-254
Author
Kornecki, A. ; Butka, B. ; Zalewski, Janusz
Author_Institution
Dept. of Comput. & Software Eng., Embry-Riddle Aeronaut. Univ., Daytona Beach, FL
Volume
41
Issue
12
fYear
2008
Firstpage
112
Lastpage
115
Abstract
In recent decades, safety has emerged as a major issue in many embedded applications in the aerospace, aircraft, automobile, railways, nuclear, medical, and other industries. Safety in this context means avoiding harm to individuals or society due to malfunctioning computer equipment or software. The essential requirements for these systems are so strict that they are regulated by government agencies such as the US Federal Aviation Administration (FAA) in the case of both airborne and ground aviation systems.The general concept of safety assurance is to minimize risk that can lead to accidents. This implies that the software tools used to develop the hardware and software components in safety-critical systems must be evaluated as thoroughly as the products themselves.
Keywords
aerospace engineering; aerospace safety; aircraft computers; safety-critical software; US Federal Aviation Administration; airborne systems; government agencies; ground aviation systems; malfunctioning computer equipment; malfunctioning software; safety assurance; safety-critical systems; software tools; Aerospace industry; Aerospace safety; Air safety; Aircraft; Application software; FAA; Railway safety; Software safety; Software tools; Vehicle safety; safety-critical systems; software engineering; tool certification;
fLanguage
English
Journal_Title
Computer
Publisher
ieee
ISSN
0018-9162
Type
jour
DOI
10.1109/MC.2008.503
Filename
4712513
Link To Document