2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07)
Duration Calculus for Analysis of Fault Trees with Time Dependencies
Szklarska Poreba, Poland
June 14-June 16
ISBN: 0-7695-2850-3
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).