• 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