Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2017Qualitative reliability analysis of software-controlled systems using state/event fault trees
Roth, Michael
: Liggesmeyer, P.; Halang, W.; Berns, K.
Dissertation
2015Efficient reachability graph development for qualitive analysis of state/event fault trees
Roth, Michael; Hartoyo, Agus; Liggesmeyer, Peter
Konferenzbeitrag
2015Evaluation of a systematic approach in variant management for safety-critical systems development
Käßmeyer, Michael; Velasco, David S.; Schurius, Markus
Konferenzbeitrag
2015Evaluation of a systematic approach in variant management for safety-critical systems development
Käßmeyer, Michael; Velasco, David S.; Schurius, Markus
Bericht
2015Integrating variability and safety analysis models using commercial UML-based tools
Domis, Dominik; Adler, Rasmus; Becker, Martin
Konferenzbeitrag
2015Sequential logic for state/event fault trees: A methodology to support the failure modeling of cyber physical systems
Roth, Michael; Liggesmeyer, Peter
Konferenzbeitrag
2013A controlled experiment on component fault trees
Jung, Jessica; Jedlitschka, Andreas; Höfig, Kai; Domis, Dominik; Hiller, Martin
Bericht
2013A controlled experiment on component fault trees
Jung, Jessica; Jedlitschka, Andreas; Höfig, Kai; Domis, Dominik; Hiller, Martin
Konferenzbeitrag
2013Experimental comparison of two safety analysis methods and its replication
Jung, Jessica; Höfig, Kai; Domis, Dominik; Jedlitschka, Andreas; Hiller, Martin
Bericht
2013Experimental comparison of two safety analysis methods and its replication
Jung, Jessica; Höfig, Kai; Domis, Dominik; Jedlitschka, Andreas; Hiller, Martin
Konferenzbeitrag
2012The "why" and "how" of software safety analysis
Kemmann, Sören
Bericht
2012All you need is a "handful" of safety
Kemmann, Sören
Bericht
2012Model-based development of a safety concept
Adler, Rasmus; Kemmann, Sören; Liggesmeyer, Peter; Schwinn, Jean-Pascal
Konferenzbeitrag
2011Risk-based testing of safety-critical embedded systems driven by fault tree analysis
Kloos, Johannes; Hussain, Tanvir; Eschbach, Robert
Bericht
2011Risk-based testing of safety-critical embedded systems driven by fault tree analysis
Kloos, Johannes; Hussain, Tanvir; Eschbach, Robert
Konferenzbeitrag
2010Flexible, any-time fault tree analysis with component logic models
Förster, Marc; Schneider, Daniel
Konferenzbeitrag
2009Efficient safety analysis of automotive software systems
Trapp, Mario; Kemmann, Sören; Kalmar, Ralf; Denger, Christian
Zeitschriftenaufsatz
2009Fault tree analysis of software-controlled component systems based on second-order probabilities
Förster, Marc; Trapp, Mario
Konferenzbeitrag
2009Safety-Analyse für Embedded-Software
Kemmann, Sören; Trapp, Mario; Kalmar, Ralf
Zeitschriftenaufsatz
2009Trends in embedded software engineering
Liggesmeyer, P.; Trapp, M.
Zeitschriftenaufsatz
2008Probabilistic analysis of safety-critical adaptive systems with temporal dependences
Adler, Rasmus; Domis, Dominik J.; Förster, Marc; Trapp, Mario
Konferenzbeitrag
2008SafeSpection - a systematic customization approach for software hazard identification
Denger, Christian; Trapp, Mario; Liggesmeyer, Peter
Konferenzbeitrag
2007Combining software quality analysis with dynamic event/fault trees for high assurance systems engineering
Dugan, Joanne Bechta; Pai, Ganesh J.; Xu, Hong
Bericht
2007Determining configuration probabilities of safety-critical adaptive systems
Adler, Rasmus; Förster, Marc; Trapp, Mario
Konferenzbeitrag
2007Probabilistic analysis of safety-critical adaptive systems with temporal dependences
Adler, Rasmus; Domis, Dominik J.; Förster, Marc; Trapp, Mario
Bericht
2007State/event fault trees - safety analysis model for software-controlled systems
Kaiser, Bernhard; Gramlich, Catharina; Förster, Marc
Zeitschriftenaufsatz
2006Increased efficiency in the quantitative evaluation of state/event fault trees
Förster, M.; Kaiser, B.
Konferenzbeitrag
2006State/event fault trees. A safety and reliability analysis technique for software-controlled systems
Kaiser, B.
Dissertation