Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2018Runtime safety assurance for adaptive cyber-physical systems: ConSerts M and ontology-based runtime reconfiguration applied to an automotive case study
Amorim, Tiago Luiz Buarque de; Ratasich, Denise; Macher, Georg; Ruiz, Alejandra; Schneider, Daniel; Driussi, Mario; Grosu, Radu
Book Article
2017Qualitative reliability analysis of software-controlled systems using state/event fault trees
Roth, Michael
: Liggesmeyer, P.; Halang, W.; Berns, K.
Dissertation
2017Safety-critical mobile systems - the RESCUER interaction evaluation approach
Holl, Konstantin; Nass, Claudia; Vieira, Vaninha; Villela, Karina
Report
2016Towards a lightweight approach for on-site interaction evaluation of safety-critical mobile systems
Holl, Konstantin; Nass, Claudia; Villela, Karina; Vieira, Vaninha
Report
2016Towards a Lightweight Approach for On-site Interaction Evaluation of Safety-critical Mobile Systems
Holl, Konstantin; Nass, Claudia; Villela, Karina; Vieira, Vaninha
Journal Article, Conference Paper
2016Towards proper tool support for component-oriented and model-based development of safety critical systems
Velasco, David S.
Report
2014Expressing best practices in (risk) analysis and testing of safety-critical systems using patterns
Herzner, Wolfgang; Bauer, Thomas; Sieverding, Sven; Kacimi, Omar; Böde, Eckard; Nielsen, Brian
Conference Paper
2014Software in sicherheitskritischen Systemen
Liggesmeyer, Peter
Book Article
2013Failure-dependent timing analysis - a new methodology for probabilistic worst-case execution time analysis
Höfig, Kai
: Rombach, Dieter; Liggesmeyer, Peter; Bomarius, Frank
Dissertation
2013A safety roadmap to cyber-physical systems
Trapp, Mario; Schneider, Daniel; Liggesmeyer, Peter
Book Article
2012Towards an approach to represent safety patterns
Antonino, Pablo; Keuler, Thorsten; Nakagawa, Elisa Yumi
Conference Paper
2011Mitigating soft error risks through protecting critical variables and blocks
Sadi, M.S.; Uddin, M.N.; Khan, M.M.R.; Jürjens, J.
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
2010A systematic approach to construct compositional behaviour models for network-structured safety-critical systems
Kloos, Johannes; Eschbach, Robert
Journal Article, Conference Paper
2009Risk-based statistical testing: A refinement-based approach to the reliability analysis of safety-critical systems
Zimmermann, Fabian; Eschbach, Robert; Kloos, Johannes; Bauer, Thomas
Report
2008Safety concept trees. An approach to a formalized depiction of safety concepts for safety-critical systems
Zimmer, Bastian
: Liggesmeyer, Peter (Supervisor); Trapp, Mario (Supervisor)
Thesis
2005Model checking flight guidance systems: From synchrony to asynchrony
Choi, Y.
Conference Paper
2004Model checking flight guidance systems: from synchrony to asynchrony
Choi, Y.
Conference Paper