Qualitative analysis of state/event fault trees for supporting the certification process of software-intensive systems

2013 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2013

Volumn , Issue , 2013, Pages 353-358

  Roth, Michael ^a   Liggesmeyer, Peter ^b  

^a University of Koblenz Landau   (Germany)

^b FRAUNHOFER INSTITUTE FOR INDUSTRIAL MATHEMATICS ITWM   (Germany)

Author keywords

fault tree; reliability analysis; software certification; state event fault tree

Indexed keywords

CERTIFICATION PROCESS; FAULT-TREES; MODELING TIMING; QUALITATIVE ANALYSIS; SAFETY CRITICAL SYSTEMS; SOFTWARE CERTIFICATION; SOFTWARE INTENSIVE SYSTEMS; STATE-EVENT FAULT TREES;

RELIABILITY ANALYSIS; TECHNICAL PRESENTATIONS;

SOFTWARE RELIABILITY;

EID: 84893219044     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSREW.2013.6688920     Document Type: Conference Paper

References (14)

1. IEC 61025: Fault Tree Analysis (FTAo). International Electrotechnical Commision, 1990.
2. A. Zimmermann, R. German, J. Freiheit, G. Hommel: TimeNET 3.0 Tool Description. Int. Conf. on Petri Nets and Performance Models (PNPM'99), Zaragoza, Spain, 1999.
3. G. Ciardo, C. Lindemann: Analysis of deterministic and stochastic Petri nets. In: Proceedings of the fifth international workshop on Petri Nets and performance models (PNPM'93), Toulouse, France, 1993.
4. ESSaRel: Embedded systems safety and reliability analyser. http://www. essarel.de.
5. H. R. Watson: Launch control safety study. Bell Labs, 1961.
6. B. Kaiser, C. Gramlich, M. F̈orster: State/event fault trees-A safety analysis model for software-controlled systems. In: Proceedings of the 23rd Int. Conference on Computer Safety, Reliability, and Security (SafeComp04), Germany, 2004.
7. L. Pitre-Cambacds, M Bouissou: Modeling safety and security interdependencies with BDMP (Boolean logic Driven Markov Processes). In: Proceedings of the International Conference on Systems, Man, and Cybernetics (SMC'10), p.2852, Istanbul, Turkey, 2010.
8. J. Bechta Dugan, K. Sullivan, D. Coppit: Developing a low-cost highquality software tool for dynamic fault tree analysis. Transaction on Reliability, p.49, 1999.
9. J. Bechta Dugan, S. J. Bavuso, M. A. Boyd: Dynamic Fault-Tree Models for Fault-Tolerant Computer Systems. Transaction on Reliability, 1992.
10. B. Kaiser, P. Liggesmeyer, O. Mackel: A new component concept for Fault Trees. In: Proceedings of the 8th Australian Workshop on safety critical systems and software, Canberra, 2003.
11. M. Bozzano, A. Villafiorita: Integrating Fault Tree Analysis with event Ordering Information, In: Proceedings of the European Safety and Reliability Conference (ESREL), 2003.
12. M. Steiner, P. Keller, P. Liggesmeyer: Modeling the Effects of Software on Safety and Reliability in Complex Embedded Systems. Computer Safety, Reliability and Security (SafeComp Workshops), Magdeburg, Germany, 2012.
13. M. Ajmone Marsan, G. Chiola: On Petri nets with deterministic and exponentially distributed fireing times. 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, p.132, 1986.
14. E. W. Dijkstra: A note on two problems in connexion with graphs. Numerische Mathematik 1, p.269271, 1956.