Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time Dependencies

Abstract

Minimal cut sets are one of the main results of analysis of fault trees with time dependencies. They contain events leading to a hazard (root of the tree). The events have minimal and maximal time intervals from both their start and end times to the possible appearance of the hazard. These informations may be useful in real-time operation of a system, for… (More)
DOI: 10.1109/DepCoS-RELCOMEX.2009.12

3 Figures and Tables

Topics

  • Presentations referencing similar topics