Duration Calculus for Analysis of Fault Trees with Time Dependencies

The paper deals with a problem of a description and analysis of fault trees with time dependencies, constructed for real-time systems to show possible ways leading to a hazard. Both the description and analysis are made with the duration temporal logic formalism - Duration Calculus (DC). It is the first time, when fault trees, containing the temporal gates, proposed by Magott and Skrobanek, got formally described with the DC logic (preserving all their properties for each gate type and for the whole structure) and became possible to be formally deductively analyzed (the latter part still need same work though).