Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2016Systematic engineering of safe open adaptive systems shown for truck platooning
Reich, Jan
: Liggesmeyer, Peter (Supervisor); Schneider, Daniel (Supervisor); Adler, Rasmus (Supervisor)
Master Thesis
2016Towards proper tool support for component-oriented and model-based development of safety critical systems
Velasco, David S.
Report
2015Evaluation of a systematic approach in variant management for safety-critical systems development
Käßmeyer, Michael; Velasco, David S.; Schurius, Markus
Conference Paper
2015Evaluation of a systematic approach in variant management for safety-critical systems development
Käßmeyer, Michael; Velasco, David S.; Schurius, Markus
Report
2015Formal validation methods in model-based spacecraft systems engineering
Katoen, Joost-Pieter; Nguyen, Viet Yen; Noll, Thomas
Book Article
2015I-SafE: An integrated safety engineering tool
Antonino, Pablo; Velasco, David S.; Schneider, Daniel; Trapp, Mario; Reich, Jan
Journal Article, Conference Paper
2015Integrating variability and safety analysis models using commercial UML-based tools
Domis, Dominik; Adler, Rasmus; Becker, Martin
Conference Paper
2015Qualitative and quantitative analysis of CFTs taking security causes into account
Steiner, Max; Liggesmeyer, Peter
Conference Paper
2014Spacecraft early design validation using formal methods
Bozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Katsaros, Panagiotis; Mokos, Konstantinos; Nguyen, Viet Yen; Noll, Thomas; Postma, Bart; Roveri, Marco
Journal Article
2013Combination of safety and security analysis - finding security problems that threaten the safety of a system
Steiner, Max; Liggesmeyer, Peter
Conference Paper
2013A controlled experiment on component fault trees
Jung, Jessica; Jedlitschka, Andreas; Höfig, Kai; Domis, Dominik; Hiller, Martin
Report
2013A controlled experiment on component fault trees
Jung, Jessica; Jedlitschka, Andreas; Höfig, Kai; Domis, Dominik; Hiller, Martin
Conference Paper
2013Failure-dependent timing analysis - a new methodology for probabilistic worst-case execution time analysis
Höfig, Kai
: Rombach, Dieter; Liggesmeyer, Peter; Bomarius, Frank
Dissertation
2013Sicher in vernetzten Systemen. Integrative Betrachtung von funktionaler Sicherheit und Security
Kemmann, Sören; Kalmar, Ralf; Schwarz, Reinhard
Journal Article
2012The "why" and "how" of software safety analysis
Kemmann, Sören
Report
2012All you need is a "handful" of safety
Kemmann, Sören
Report
2010Assuring functional safety in automotive software through pattern-based requirements development
Pai, Ganesh J.; Roeser, Andreas
Report
2010A consistency check algorithm for component-based refinements of fault trees
Domis, D.; Höfig, K.; Trapp, M.
Conference Paper
2010Identification of security-safety requirements for the outdoor robot RAVON using safety analysis techniques
Guo, Zhensheng; Zeckzer, Dirk; Liggesmeyer, Peter; Mäckel, Oliver
Conference Paper
2009Building a platform for deductive safety analysis of embedded systems
Becker, Franz
: Liggesmeyer, Peter (Supervisor); Rombach, H. Dieter (Supervisor)
Bachelor Thesis
2009Component-based abstraction in fault tree analysis
Domis, D.; Trapp, M.
Conference Paper
2009Efficient safety analysis of automotive software systems
Trapp, Mario; Kemmann, Sören; Kalmar, Ralf; Denger, Christian
Journal Article
2009Safety concept trees
Domis, Dominik J.; Förster, Marc; Kemmann, Sören; Trapp, Mario
Conference Paper
2009Safety-Analyse für Embedded-Software
Kemmann, Sören; Trapp, Mario; Kalmar, Ralf
Journal Article
2008Integrating safety analyses and component-based design
Domis, Dominik J.; Trapp, Mario
Report
2008Integrating safety analyses and component-based design
Domis, Dominik J.; Trapp, Mario
Conference Paper
2007State/event fault trees - safety analysis model for software-controlled systems
Kaiser, Bernhard; Gramlich, Catharina; Förster, Marc
Journal Article
2006State/event fault trees. A safety and reliability analysis technique for software-controlled systems
Kaiser, B.
Dissertation
2005An automated dependability analysis method for COTS-based systems
Grunske, L.; Kaiser, B.
Conference Paper
2005BDD complexity reduction by component fault trees
Kaiser, B.; Zocher, A.
Conference Paper
2005Extending the expressive power of fault trees
Kaiser, B.
Conference Paper
2005Model-driven safety evaluation with state-event-based component failure annotations
Grunske, L.; Kaiser, B.; Papadopoulos, Y.
Conference Paper
2005Specification and evaluation of safety properties in a component-based software engineering process
Grunske, L.; Kaiser, B.; Reussner, R.
Book Article
2005Technisches Informationsmanagement zur Gewährleistung von Arbeitsschutz und Anlagensicherheit
Wack, T.; Müller, T.
Poster, Journal Article, Conference Paper
2005Wissensbasierte Informationstechnologie in der Anlagensicherheit
Müller, T.; Wack, T.
Journal Article, Conference Paper
2001Untersuchungen zur Druckentlastung siedend aufwallender, reaktiver und nichtreaktiver, viskoser Stoffsysteme
Hoff, A.; Neumann, J.; Deerberg, G.; Steiff, A.
Journal Article
1990Analytical and numerical crack growth prediction for a leak-before-break assessment of a nuclear pressure vessel
Schmitt, W.; Nagel, G.; Ockewitz, A.; Hodulak, L.; Blauel, J.G.
Journal Article
1989Arbeitssicherheit an Drehmaschinen
Lehmann, W.R.
Dissertation