Zusammenfassung
Um Ausfälle in Systemen sicherheitskritischer Umgebungen zu analysieren, sind Fehlerbäume ein häufig verwendetes Mittel. Jedoch weisen diese Nachteile bei der Modellierung zeitlicher Aspekte auf, was besonders bei software-lastigen Systemen nicht akzeptabel ist. Aus diesem Grund wurden Zustands/Ereignis-Fehlerbäume [7] entwickelt, die eine Brücke zwischen Zustandsdiagrammen und Fehlerbäumen schlagen. Dadurch können zeitliche Beziehungen innerhalb der Zustandsdiagramme modelliert werden, wohingegen kausale Zusammenhänge durch fehlerbaumtypische Gatter beschrieben werden. Zur Analyse solcher Fehlerbäume standen bisher nur quantitative Verfahren zur Verfügung. In diesem Beitrag wird ein qualitatives Verfahren vorgestellt, welches Schaltsequenzen ermittelt, die zur Wurzel im Zustands/Ereignis-Fehlerbaum führen. Diese Sequenzen können als Äquivalent zur Cut-Set-Analyse standardisierter Fehlerbäume angesehen werden.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Literaturverzeichnis
DIN 25424: Fehlerbaumanalyse, Methode und Bildzeichen. Deutsches Institut für Normung, 1981.
J. B. Dugan, S. J. Bavuso, M. A. Boyd: Dynamic Fault-Tree Models for Fault-Tolerant Compzuter Systems, IEEE Transactions on Reliability, Vol. 41, 1992.
B. Schneier: Attack trees. Dr. Dobb’s Journal, 1999.
M. Bozzano, A. Villafiorita: Integrating Fault Tree Analysis with event Ordering Information, In: Proceedings of the European Safety and Reliability Conference (ESREL), 2003.
H. R. Watson: Launch control safety study. Bell Labs, 1961
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
B. Kaiser, C. Gramlich, M. Förster: 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, Germany, 2004.
I. N. Fovino, M. Masera: Through the Description of Attacks: a Multidimensional View. In: Proceedings of the 25th international conference on Computer Safety, Reliability, and Security (SafeComp06), Gdansk, 2006
A. Zimmermann, R. German, J. Freiheit, G. Hommel: TimeNET 3.0 Tool Description. Int. Conf. on Petri Nets and Performance Models, Spanien, 1999.http://www.essarel.de.
Embedded systems safety and reliability analyser. http://www.essarel.de.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Roth, M., Liggesmeyer, P. (2013). Qualitative Analyse der funktionalen Sicherheit software-intensiver Systeme mittels Zustands/Ereignis-Fehlerbäumen. In: Halang, W. (eds) Funktionale Sicherheit. Informatik aktuell. Springer Vieweg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41309-4_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-41309-4_13
Publisher Name: Springer Vieweg, Berlin, Heidelberg
Print ISBN: 978-3-642-41308-7
Online ISBN: 978-3-642-41309-4
eBook Packages: Computer Science and Engineering (German Language)