Automatic static fault tree analysis from system models

Proceedings - 16th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2010

Volumn , Issue , 2010, Pages 241-242

  Xiang, Jianwen ^a   Yanoo, Kazuo ^a  

^a NEC CORPORATION   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC SYNTHESIS; DYNAMIC FAULT TREES; DYNAMIC RELATION; ERROR PRONES; FAULT-TREES; STATIC SOLUTIONS; SYSTEM MODELS; SYSTEM RELIABILITY MODELS;

FAULT TREE ANALYSIS; QUALITY ASSURANCE;

RELIABILITY;

EID: 79951819425     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PRDC.2010.35     Document Type: Conference Paper

References (4)

1. G. J. Pai and J. B. Dugan, "Automatic synthesis of dynamic fault trees from uml system models," in Prof. of The 13th International Symposium on Software Reliability Engineering (ISSRE'02), 2002, pp. 243-256.
2. D. Tang, J. Zhu, and R. Andrada, "Automatic generation of availbility models in rascad," in Proc. of International Conference on Dependable Systems and Networks (DSN'02), 2002, pp. 488-492.
3. 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. (Pubitemid 23555745)
4. 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.