Title :
Hazard Prevention by Forced Time Constraints
Author :
Golaszewski, Grzegorz ; Górski, Janusz
Author_Institution :
Dept. of Software Eng., Gdansk Univ. of Technol.
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;
Conference_Titel :
Dependability of Computer Systems, 2006. DepCos-RELCOMEX '06. International Conference on
Conference_Location :
Szklarska Poreba
Print_ISBN :
0-7695-2565-2
DOI :
10.1109/DEPCOS-RELCOMEX.2006.29