Model based importance analysis for minimal cut sets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5311 LNCS, Issue , 2008, Pages 303-317

  Böde, Eckard ^a   Peikenkamp, Thomas ^a   Rakow, Jan ^b   Wischmeyer, Samuel ^b  

^a OFFIS INSTITUTE FOR INFORMATION TECHNOLOGY   (Germany)

^b UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CRITICAL CURRENT DENSITY (SUPERCONDUCTIVITY); MODEL CHECKING; PROBABILITY DISTRIBUTIONS; SAFETY ENGINEERING; STOCHASTIC SYSTEMS;

CRITICAL STATE; FAULT INJECTION; IMPORTANCE ANALYSIS; MINIMAL CUT SETS; MODEL-BASED OPC; QUANTITATIVE SAFETY ANALYSIS; STANDARD DESIGN; STATECHARTS;

STOCHASTIC MODELS;

EID: 56749083658     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88387-6_27     Document Type: Conference Paper

References (21)

1. Åkerlund, O., et al.: ISAAC, a framework for integrated safety analyses of functional, geometrical and human aspects. ERTS (2006)
2. Vesely, W.E., Dugan, J., Fragola, J., Minarick III, J., Railsback, J.: Fault Tree Handbook with Aerospace Applications. National Aeronatics and Space Administration (August 2002)
3. Peikenkamp, T., Cavallo, A., Valacca, L., Böde, E., Pretzer, M., Hahn, E.M.: Towards a unified model-based safety assessment. In: Górski, J. (ed.) SAFECOMP 2006. LNCS, vol. 4166, pp. 275-288. Springer, Heidelberg (2006)
4. Böde, E., Herbstritt, M., Hermanns, H., Johr, S., Peikenkamp, T., Pulungan, R., Wimmer, R., Becker, B.: Compositional performability evaluation for statemate. In: 3rd International Conference on the Quantitative Evaluation of Systems, QEST 2006, Riverside (USA), pp. 167-178. IEEE Computer Society Press, Los Alamitos (2006)
5. Böde, E., Herbstritt, M., Hermanns, H., Johr, S., Peikenkamp, T., Pulungan, R., Rakow, J., Wimmer, R., Becker, B.: Compositional performability evaluation for statemate. In: Quantitative Evaluation of Computer Systems - Special issue of IEEE Transactions on Software Engineering (to appear, 2008)
6. Harel, D., Politi, M.: Modelling Reactive Systems with Statecharts: The STATE-MATE Approach. McGraw-Hill, New York (1998)
7. Hermanns, H., Katoen, J.P.: Automated compositional markov chain generation for a plain-old telephone system. Science of Computer Programming 36(1), 97-127 (2000)
8. Pulungan, R., Hermanns, H.: Orthogonal distance fitting for phase-type distributions. Reports of SFB/TR 14 AVACS 10, SFB/TR 14 AVACS (November 2006) ISSN: 1860-9821, http://www.avacs.org
9. Hermanns, H.: Interactive Markov Chains - The Quest for Quantified Quality. LNCS, vol. 2428. Springer, Heidelberg (2002)
10. Hermanns, H., Johr, S.: Uniformity by construction in the analysis of nondeterministic stochastic systems. In: International Conference on Dependable Systems and Networks, DSN 2007 (2007)
11. Boudali, H., Crouzen, P., Stoelinga, M.: Dynamic fault tree analysis using input/output interactive markov chains. In: DSN 2007: Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Washington, DC, USA, pp. 708-717. IEEE Computer Society Press, Los Alamitos (2007)
12. Harel, D., Naamad, A.: The STATEMATE semantics of Statecharts. ACM Transactions on Software Engineering and Methodology 5(4), 293-333 (1996)
13. Milner, R.: A Calculus of Communicating Systems. LNCS, vol. 92. Springer, Heidelberg (1980)
14. Glabbeek, R., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. Journal of the ACM 43(3), 555-600 (1996)
15. Wimmer, R., Herbstritt, M., Hermanns, H., Strampp, K., Becker, B.: Sigref - a symbolic bisimulation tool box. In: Graf, S., Zhang, W. (eds.) ATVA 2006. LNCS, vol. 4218, pp. 477-492. Springer, Heidelberg (2006)
16. Hermanns, H., Johr, S.: May we reach it? or must we? in what time? with what probability? In: Proceedings 14th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), Dortmund, Germany, March 31 - April 2, 2008, VDE Verlag (to appear, 2008)
17. Johr, S.: Model Checking Compositional Markov Systems. PhD thesis, Universität des Saarlandes, Saarbrücken (2007)
18. Katoen, J.P., Khattri, M., Zapreev, I.S.: A markov reward model checker. In: Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), Torino, Italy, 19-22 September 2005, pp. 243-244. IEEE Computer Society Press, Los Alamitos (2005)
19. ERTMS User Group, UNISIG: ETCS Application Level 2 - Safety Analysis - Part 1 - Functional Fault Tree. Technical report, ALCATEL,ALSTOM,ANSALDO SIGNAL,BOMBARDIER,INVENSYSRAIL,SIEMENS
20. Garavel, H., Lang, F., Mateescu, R.: An overview of CADP 2001. European Assoc, for Software Science and Technology (EASST) Newsletter 4, 13-24 (2002)
21. BCG.MIN: Project Website (March 2006), http://www.inrialpes.fr/vasy/cadp/ man/bcg.min.html