loading...
Duration Calculus for Analysis of Fault Trees with Time Dependencies
Szklarska Poreba, Poland June 14-June 16
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DEPCOS-RELCOMEX.2007.192nd International Conference on Depen ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Pawel Gluchowski, Wroclaw University of Technology
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).
Citation:
Pawel Gluchowski, "Duration Calculus for Analysis of Fault Trees with Time Dependencies," depcos-relcomex, pp.107-114, 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07), 2007
Usage of this product signifies your acceptance of the Terms of Use.