Minimal cut sequence generation for state/event fault trees

Proceedings of the 2013 Middleware Doctoral Symposium, MDS 2013 - Co-located with ACM/IFIP/USENIX International Middleware Conference, Middleware 2013

Volumn , Issue , 2013, Pages

  Xu, Bingfeng ^a   Huang, Zhiqiu ^a   Hu, Jun ^a   Wei, Ou ^a   Zhou, Yu ^a  

^a NANJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS   (China)

Author keywords

formal method; interface automata; qualitative analysis; state event fault trees

Indexed keywords

COPOLYMERIZATION; FORESTRY; FORMAL METHODS; MIDDLEWARE; SEMANTICS; SYSTEMS ENGINEERING;

FAULT-TREES; FIRE PROTECTION SYSTEM; FORMAL SEMANTICS; INTERFACE AUTOMATA; QUALITATIVE ANALYSIS; SAFETY CRITICAL SYSTEMS; SEQUENCE ANALYSIS; SEQUENCE GENERATION;

AUTOMATA THEORY;

COPOLYMERIZATION; FORESTRY; QUALITATIVE ANALYSIS; ROBOTS; SYSTEMS ENGINEERING;

EID: 84897368445     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2541534.2541592     Document Type: Conference Paper

References (15)

1. Daskaya, I., Huhn, M. and Milius, S. 2011. Formal safety analysis in industrial practice. In Proceeding of Formal Methods for Industrial Critical Systems (FMICS 2011). Berlin: Springer-Verlag, LNCS 6959, 68-84.
2. Xiang, J., Futatsugi, K. and He, Y. 2004. Fault tree and formal methods in system safety analysis. In Proceedings of the Fourth International Conference on Computer and Information Technology (CIT'04). Wuhan: IEEE Computer Society Press, 1108-1115.
3. Xing, L. and Amari, S. V. 2008. Fault Tree Analysis. Handbook of Performability Engineering, Springer London, Springer-Verlag London Limited, 595-620.
4. Ortmeier, F. and Schellhorn, G. 2007. Formal fault tree analysis-practical experiences. Electronic Notes in Theoretical Computer Science, 185, 139-151.
5. Tang, Z. 2004. Minimal cut set/sequence generation for dynamic fault trees. In Proceedings of Annual Reliability and Maintainability symposium (2004), LA.
6. Kaiser, B. 2007. State Event trees: a safety and reliabiity analysis techniqure for software controlled systems. Kaiserslautern : University Kaiserslautern.
7. De Alfaro, L. and Henzinger, T. A. 2001. Interface automata. In Proceedings of the joint 8th European Software Engineering conference and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE 01), Austria, 108-120.
8. Kaiser, B., Gramlich, C. and Forster M. 2007. State/event fault trees - a safety analysis model for software-controlled systems. Reliability Engineering & System Safety, 92(11), 1521-1537.
9. Rauzy, A. 2001. Mathmetical foundations of minimal cut sets. IEEE Transactions on Reliability, 50, 389-396.
10. Liu, D., Xing, W. and Zhang, C. 2007. Cut sequence set generation for fault tree analysis. In Proceedings of International Conference on Economics and Social Science (ICESS 2007). Springer, Heidelberg, LNCS 4523, 592-603.
11. Liu, D., Zhang, C., Xing, W., Li, R. and Li, H. 2007. Quantification of cut sequence set for fault tree analysis. In Proceedings of The Third International Conference on High Performance Computing and Communications (HPCC 2007), LNCS 4782, 755-765.
12. Xing, L., Shrestha, A. and Dai, Y. 2011. Exact combinatorial reliability analysis of dynamic systems with sequencedependent failures. Reliability engineering & systems safety, 96(10), 1375-1385.
13. Assaf, T. and Dugan, J. B. 2004. Diagnostic expert systems from dynamic fault trees. In Proceedings of Annual Reliability and Maintainability Symposium (2004), LA.
14. Chaux, P. Y., Roussel, J. M., Lesage, J. J., Deleuze, G. and Bouissou, M. 2012. Systematic extraction of minimal cut sequences from a BDMP model. In: Proceedings of 21th European Safety & Reliability Conference (ESREL'12).
15. Hersmans, H. 2002. Interactive Markov Chains. Springer Berlin.