• DocumentCode
    484816
  • Title

    Safety-Critical Shortage

  • Author

    Gasperoni, F.

  • Author_Institution
    AdaCore, Paris
  • fYear
    2008
  • fDate
    20-22 Oct. 2008
  • Firstpage
    1
  • Lastpage
    4
  • Abstract
    Safety-critical software is playing an ever growing role in everyday´s life. Whether it is in civil or military airplanes, space systems, over-ground or underground railway systems, nuclear power plants, or air traffic management systems, safety-critical software helps us and protects us. The events at the beginning of the century and the growing level of interconnectedness among these systems are also adding security requirements onto these safety- critical software systems.
  • Keywords
    safety-critical software; air traffic management systems; military airplanes; nuclear power plants; safety-critical shortage; safety-critical software systems; security requirements; space systems; underground railway systems; DO-178B; DO-178C; Safety-critical; security-critical;
  • fLanguage
    English
  • Publisher
    iet
  • Conference_Titel
    System Safety, 2008 3rd IET International Conference on
  • Conference_Location
    Birmingham
  • ISSN
    0537-9989
  • Print_ISBN
    978-0-86341-970-6
  • Type

    conf

  • Filename
    4781245