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 :
بازگشت