loading...
Extending Fault Trees with an AND-THEN Gate
San Jose, California October 08-October 11
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISSRE.2000.88587911th International Symposium on Softw ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Pathirage Gamini Wijayarathna, University of Electro-Communications
Mamoru Maekawa, University of Electro-Communications
Fault trees have been used for software safety analysis in various safety critical systems. The PRIORITY-AND gate was proposed because the conventional AND gate cannot be used to represent the sequential order of the events. This paper shows that even PRIORITY-AND gate is not expressive enough to represent the relative temporal order of the events precisely. We extend the Fault Trees with an AND-THEN gate that is the corresponding gate of the logical connective TAND. This increases the expressive power of the fault trees. The AND-THEN gate can represent relative temporal relations precisely.
Citation:
Pathirage Gamini Wijayarathna, Mamoru Maekawa, "Extending Fault Trees with an AND-THEN Gate," issre, pp.283, 11th International Symposium on Software Reliability Engineering (ISSRE'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions