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