• 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