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