DocumentCode :
2834525
Title :
Hazard Prevention by Forced Time Constraints
Author :
Golaszewski, Grzegorz ; Górski, Janusz
Author_Institution :
Dept. of Software Eng., Gdansk Univ. of Technol.
fYear :
2006
fDate :
25-27 May 2006
Firstpage :
84
Lastpage :
91
Abstract :
Minimal cut sets resulting from fault tree analysis (FTA) indicate basic events which, if occur together, can contribute to a hazard. For some applications we can extend event description with timing information and the hazard becomes enabled only if some particular timing relationships occur among the events of a given cut set. In this article we present how the timing information can be introduced to a fault tree and then exploited to identify additional timing requirements imposed on the controllable events of the system. Such requirements, if implemented, lead to the exclusion of some (otherwise feasible) scenarios of hazard occurrence
Keywords :
fault trees; software fault tolerance; fault tree analysis; forced time constraints; hazard prevention; timing information; Control systems; Fault trees; Hazards; Rail transportation; Roads; Sensor systems; Signal generators; Software engineering; Time factors; Timing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Dependability of Computer Systems, 2006. DepCos-RELCOMEX '06. International Conference on
Conference_Location :
Szklarska Poreba
Print_ISBN :
0-7695-2565-2
Type :
conf
DOI :
10.1109/DEPCOS-RELCOMEX.2006.29
Filename :
4024036
Link To Document :
بازگشت