Formal static fault tree analysis

Proceedings, ICCES'2010 - 2010 International Conference on Computer Engineering and Systems

Volumn , Issue , 2010, Pages 280-286

  Xiang, Jianwen ^a   Yanoo, Kazuo ^a  

^a NEC CORPORATION   (Japan)

Author keywords

Fault tree analysis; Formal methods; Functional dependency; Reliability; Sequential dependency

Indexed keywords

BOOLEAN LOGIC; DYNAMIC BEHAVIORS; FAULT EVENT; FAULT TREE MODEL; FAULT-TOLERANT; FORMAL SPECIFICATION LANGUAGE; FUNCTIONAL DEPENDENCY; PARALLEL PROCESSOR; SAFETY ANALYSIS; SEQUENTIAL DEPENDENCY; STATIC SOLUTIONS; SYSTEM FAILURES;

FAULT TREE ANALYSIS; FORMAL METHODS; LOGIC GATES; RELIABILITY ANALYSIS; SPECIFICATION LANGUAGES;

QUALITY ASSURANCE;

EID: 78751616783     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCES.2010.5674869     Document Type: Conference Paper

References (17)

1. W. E. Vesely, F. F. Goldberg, N. H. Roberts, and D. F. Haasl, "Fault tree handbook," U.S. Nuclear Regulatory Commission, Washington, D.C, Tech. Rep. NUREG-0492, Jan 1981.
2. J. B. Dugan, S. Bavuso, and M. Boyd, "Dynamic fault tree models for fault tolerant computer systems," IEEE Transactions on Reliability, vol. 41, no. 3, pp. 363-377, 1992.
3. Relex Fault Tree, http://www.relex.com/products/faulttree.asp.
4. D. Coppit, K. J. Sullivan, and J. B. Dugan, "Formal semantics of models for computational engineering: A case study on dynamic fault trees," in Proc. of The 11th International Symposium on Software Reliability Engineering, San Jose, California, USA, Oct 2000, pp. 270-282.
5. H. A. Watson and B. T. Laboratories, "Launch control safety study," Bell Telephone Laboratories, Murray Hill, NJ, Tech. Rep., 1961.
6. M. R. Lyu, Ed., Handbook of Software Reliability Engineering. McGraw-Hill, 1995.
7. J. Xiang, K. Futatsugi, and Y. He, "Fault tree analysis of software reliability allocation," in Proc. of The 7th World Multiconference on Systemics, Cybernetics and Informatics, vol. Volume II - Computer Science and Engineering. Orlando, USA: International Institute of Informatics and Systemics, Jul 2003, pp. 460-465.
8. J. B. Dugan, S. J. Bavuso, and M. A. Boyd, "Fault trees and sequence dependencies," in Proc. of Annual Reliability and Maintainability Symposium. IEEE, 1990, pp. 286-293.
9. S. Amari, G. Dill, and E. Howald, "A new approach to solve dynamic fault trees," in Proc. of Annual Reliability and Maintainability Symposium. IEEE, 2003, pp. 374-379.
10. J. B. Dugan, "Fault trees and imperfect coverage," IEEE Transactions on Reliability, vol. 38, no. 2, pp. 177-185, June 1989.
11. S. A. Doyle and J. B. Dugan, "Fault tree and imperfect coverage: A combinational approach," in Proc. of Annual Reliability and Maintainability Symposium. IEEE, 1993, pp. 214-219.
12. M. Clavel, S. Eker, P. Lincoln, and J. Meseguer, "Principles of maude," in Proceedings of The First International Workshop on Rewriting Logic and its Applications, J. Meseguer, Ed., vol. 4 of Electronic Notes in Theoretical Computer Science. Asilomar, California: Elsevier Science, Sep 1996.
13. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott, Maude 2.0 Manual: Version 1.0, June 2003.
14. J. Xiang, K. Ogata, and K. Futatsugi, "Formal fault tree analysis of state transition systems," in Proc. of The 5th International Conference on Quality Software. Melbourne, Australia: IEEE, Sep 2005, pp. 124-131.
15. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems. New York: Springer-Verlag, 1992.
16. R. E. Harper, J. H. Lala, and J. J. Deyst, "Fault tolerant parallel processor architecuture overview," in Proc. 18th Symp. Fault Tolerant Computing, 1988, pp. 252-257.
17. R. E. Harper, "Reliability analysis of parellel processing systems," in Proc. 8th Digital Avionics Systems Conf., 1988, pp. 213-219.