Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2018B-space. Dynamic management and assurance of open systems of systems
Schneider, Daniel; Trapp, Mario
Journal Article
2018Towards integrating undependable self-adaptive systems in safety-critical environments
Weiß, Gereon; Schleiß, Philipp; Schneider, Daniel; Trapp, Mario
Conference Paper
2018Towards safety-awareness and dynamic safety management
Trapp, Mario; Weiß, Gereon; Schneider, Daniel
Conference Paper
2017Safety in der Industrie 4.0
Liggesmeyer, Peter; Trapp, Mario
Book Article
2017Umfassende Sicherheit - Safety und Security im Kontext autonomer Systeme
Schneider, Daniel; Trapp, Mario; Dörr, Jörg; Dukanovic, Sinisa; Henkel, Thorsten; Khondoker, Rahamatullah; Krauß, Christoph; Mauthofer, Sebastian; Scheuermann, Dirk; Zelle, Daniel
Journal Article
2015Automatic detection of incomplete and inconsistent safety requirements
Antonino, Pablo; Trapp, Mario; Venugopal, Ashwin
Report
2015I-SafE: An integrated safety engineering tool
Antonino, Pablo; Velasco, David S.; Schneider, Daniel; Trapp, Mario; Reich, Jan
Journal Article, Conference Paper
2015The parameterized safety requirements templates
Antonino, Pablo; Trapp, Mario; Barbosa, Paulo; Sousa, Luana
Conference Paper
2015Rural Solutions. Smart Services für ein Land von morgen
Trapp, Mario; Swarat, Gerald
Journal Article
2015The safety requirements decomposition pattern
Antonino, Pablo; Trapp, Mario; Barbosa, Paulo; Gurjäo, Edmar C.; Rosário, Jeferson
Conference Paper
2015WAP: Digital dependability identities
Schneider, Daniel; Trapp, Mario; Papadopoulos, Yiannis; Armengaud, Eric; Zeller, Marc; Höfig, Kai
Conference Paper
2014Improving consistency checks between safety concepts and view based architecture design
Antonino, Pablo; Trapp, Mario
Conference Paper
2014Landleben 2.0. Vom smarten Leben auf dem Lande
Spanier-Baro, Nicole; Trapp, Mario
Journal Article
2014A reference architecture and roadmap for models@run.time systems
Aßmann, Uwe; Götz, Sebastian; Jézéquel, Jean-Marc; Morin, Brice; Trapp, Mario
Book Article
2014Safety assurance of open adaptive systems - a survey
Trapp, Mario; Schneider, Daniel
Book Article
2014Safety: Herausforderungen und Lösungsansätze
Liggesmeyer, Peter; Trapp, Mario
Book Article
2013Conditional safety certification of open adaptive systems
Schneider, Daniel; Trapp, Mario
Journal Article
2013A safety roadmap to cyber-physical systems
Trapp, Mario; Schneider, Daniel; Liggesmeyer, Peter
Book Article
2012Conditional safety certification of open adaptive systems
Schneider, Daniel; Trapp, Mario
Report
2012Funktionale Sicherheit in der Automobilindustrie
Trapp, Mario
Journal Article
2012Modeling Quality Aspects: Safety
Höfig, Kai; Trapp, Mario; Zimmer, Bastian; Liggesmeyer, Peter
Book Article
2012A pattern-based approach to DSL development
Schäfer, Christian; Kuhn, Thomas; Trapp, Mario
Report
2012Safety-focused deployment optimization in open integrated architectures
Zimmer, Bastian; Bürklen, Susanne; Höfflinger, Jens; Trapp, Mario; Liggesmeyer, Peter
Conference Paper
2011Approaching runtime trust assurance in open adaptive systems
Schneider, Daniel; Becker, Martin; Trapp, Mario
Conference Paper
2011Approaching runtime trust assurance in open adaptive systems
Schneider, Daniel; Becker, Martin; Trapp, Mario
Report
2011ARID - Analysis of Risk through In-system Degradation
Kemmann, Sören; Adler, Rasmus; Trapp, Mario
Report
2011Extensible and automated model-evaluations with INProVE
Kemmann, Sören; Kuhn, Thomas; Trapp, Mario
Conference Paper
2011Extensible and automated model-evaluations with INProVE
Kemmann, Sören; Kuhn, Thomas; Trapp, Mario
Report
2011Integration of component fault trees into the UML
Adler, Rasmus; Domis, Dominik J.; Höfig, Kai; Kemmann, Sören; Kuhn, Thomas; Schwinn, Jean-Pascal; Trapp, Mario
Conference Paper
2011Method and device for allocating a number of sub-tasks from a task to a number of computing units in a pre-defined processor architecture
Barkowski, Donald; Kuhn, Thomas; Trapp, Mario
Patent
2011Modellbasierte Entwicklung eingebetteter Softwaresysteme
Trapp, Mario; Kuhn, Thomas; Liggesmeyer, Peter
Journal Article
2011Safe automotive software
Heckemann, Karl; Gesell, Manuel; Pfister, Thomas; Berns, Karsten; Schneider, Klaus; Trapp, Mario
Conference Paper
2011Safe automotive software
Heckemann, Karl; Gesell, Manuel; Pfister, Thomas; Berns, Karsten; Schneider, Klaus; Trapp, Mario
Report
2011A safety engineering framework for open adaptive systems
Schneider, Daniel; Trapp, Mario
Report
2011A safety engineering framework for open adaptive systems
Schneider, Daniel; Trapp, Mario
Conference Paper
2011SAHARA - Systematic Approach for Hazard Analysis and Risk Assessment
Kemmann, Sören; Trapp, Mario
Report
2011Vertical safety interfaces - improving the efficiency of modular certification
Zimmer, Bastian; Bürklen, Susanne; Knoop, Michael; Höfflinger, Jens; Trapp, Mario
Report
2011Vertical safety interfaces - improving the efficiency of modular certification
Zimmer, Bastian; Bürklen, Susanne; Knoop, Michael; Höfflinger, Jens; Trapp, Mario
Conference Paper
2010Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems
Adler, Rasmus; Schäfer, Ina; Trapp, Mario; Poetzsch-Heffter, Arnd
Journal Article
2010Conditional safety certificates in open systems
Schneider, Daniel; Trapp, Mario
Conference Paper
2010Eingebette Systeme. Systemgrundlagen und Entwicklung eingebetteter Software
Berns, Karsten; Schürmann, Bernd; Trapp, Mario
Book
2010Engineering dynamic adaptation for achieving cost-efficient resilience in software-intensive embedded systems
Adler, Rasmus; Schneider, Daniel; Trapp, Mario
Conference Paper
2009Abschlussbericht Deutsch-Ungarische Forschungsbasis "Bilateral German-Hungarian Collaboration on Ambient Intelligent Systems" (BelAmI)
Kleinberger, Thomas; Becker, Martin; Wehn, Norbert; Gotzhein, Reinhard; Trapp, Mario; Adam, Sebastian; Berns, Karsten; Putz, Wolfgang
Report
2009Domain-specific modeling as an enabling technology for SMEs
Barkowski, Donald; Schäfer, Christian; Trapp, Mario
Report
2009Efficient safety analysis of automotive software systems
Trapp, Mario; Kemmann, Sören; Kalmar, Ralf; Denger, Christian
Journal Article
2009Fault tree analysis of software-controlled component systems based on second-order probabilities
Förster, Marc; Trapp, Mario
Conference Paper
2009Multi-language development of embedded systems
Kuhn, Thomas; Kemmann, Sören; Trapp, Mario; Schäfer, Christian
Conference Paper
2009Runtime safety models in open systems of systems
Schneider, Daniel; Trapp, Mario
Conference Paper
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
2008Probabilistic analysis of safety-critical adaptive systems with temporal dependences
Adler, Rasmus; Domis, Dominik J.; Förster, Marc; Trapp, Mario
Conference Paper
2008SafeSpection - a systematic customization approach for software hazard identification
Denger, Christian; Trapp, Mario; Liggesmeyer, Peter
Conference Paper
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
2007Determining configuration probabilities of safety-critical adaptive systems
Adler, Rasmus; Förster, Marc; Trapp, Mario
Conference Paper
2007Development of safe and reliable embedded systems using dynamic adaptation
Adler, Rasmus; Schneider, Daniel; Trapp, Mario
Conference Paper
2007Probabilistic analysis of safety-critical adaptive systems with temporal dependences
Adler, Rasmus; Domis, Dominik J.; Förster, Marc; Trapp, Mario
Report
2007Runtime adaptation in safety-critical automotive systems
Trapp, Mario; Adler, Rasmus; Förster, Marc; Junger, Janosch
Conference Paper
2007Safety Engineering für eingebettete Softwaresysteme
Denger, Christian; Liggesmeyer, Peter; Trapp, Mario
Conference Paper