• DocumentCode
    2748613
  • Title

    Safety supervision layer

  • Author

    Hartner, Georg ; Gerstinger, Andreas

  • Author_Institution
    Inst. of Comput. Technol., Vienna Univ. of Technol., Vienna
  • fYear
    2008
  • fDate
    13-16 July 2008
  • Firstpage
    252
  • Lastpage
    257
  • Abstract
    This work covers a generic approach to fault detection for operating systems in fail-safe environments. A safety supervision layer between the application layer and the operating system interface is discussed. It is an attempt to detect operating system and hardware faults in an end-to-end way. Standard POSIX system calls are wrapped by procedures that provide fault detection features. Furthermore, potentials of an additional watchdog module on top of the operating system interface are analyzed. Applications that use the Safety Supervision Layer are notified of detected faults and deal with them by providing specific handlers to bring the fail-safe system to its safe state. The goal of the presented layer is to encapsulate the operating system and hardware layers a safety-critical application resides on, in order to detect faults produced by those and bring the system to a safe state. Advantages of such an attempt are portability, lower time-to-market, higher cost efficiency in building fail-safe systems and - most important - reduced error detection latency compared to usual periodic supervision approaches.
  • Keywords
    Unix; fault location; safety-critical software; POSIX system; cost efficiency; fail-safe environments; fault detection; hardware faults; operating systems; safety supervision layer; safety-critical application; time-to-market; Application software; Control systems; Fault detection; Hardware; Linux; Operating systems; Rail transportation; Safety; Switches; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Industrial Informatics, 2008. INDIN 2008. 6th IEEE International Conference on
  • Conference_Location
    Daejeon
  • ISSN
    1935-4576
  • Print_ISBN
    978-1-4244-2170-1
  • Electronic_ISBN
    1935-4576
  • Type

    conf

  • DOI
    10.1109/INDIN.2008.4618104
  • Filename
    4618104