Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2017Towards Dependability Engineering of Cooperative Automotive Cyber-Physical Systems
Macher, Georg; Armengaud, Eric; Schneider, Daniel; Brenner, Eugen; Kreiner, Christian
Konferenzbeitrag
2015An approach to support FMEA specification in automotive systems
Santos Satvanyi, Aline Cristina dos; Antonino, Pablo
Bericht
2015Efficient redundancy through a generic AUTOSAR failover-service
Schleiß, Philipp
Vortrag
2014Challenges of a safe adaptation architecture for vehicles
Weiß, Gereon
Vortrag
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
Zeitschriftenaufsatz
2012Bridging the security drawbacks of virtualized network resource provisioning model
Sharma, A.; Fusenig, V.; Schoen, I.; Kannan, A.
Konferenzbeitrag
2011Towards making dependability visual - Combining model-based design and virtual realities
Güdemann, M.; Lipaczewski, M.; Ortmeier, F.; Schumann, M.; Eschbach, R.
Konferenzbeitrag
2010Indicator-based inspections: A risk-oriented quality assurance approach for dependable systems
Elberzhager, Frank; Eschbach, Robert; Kloos, Johannes
Konferenzbeitrag
2010Indicator-based inspections: A risk-oriented quality assurance approach for dependable systems
Elberzhager, Frank; Eschbach, Robert; Kloos, Johannes
Bericht
2010Integration of modular safety and security models for the analyse of the impact of security on safety
Förster, Marc; Schwarz, Reinhard; Steiner, Max
Bericht
2009Efficient safety analysis of automotive software systems
Trapp, Mario; Kemmann, Sören; Kalmar, Ralf; Denger, Christian
Zeitschriftenaufsatz
2009Safety-Analyse für Embedded-Software
Kemmann, Sören; Trapp, Mario; Kalmar, Ralf
Zeitschriftenaufsatz
2009Security and dependability engineering
Jürjens, J.
Aufsatz in Buch
2008Probabilistic analysis of safety-critical adaptive systems with temporal dependences
Adler, Rasmus; Domis, Dominik J.; Förster, Marc; Trapp, Mario
Konferenzbeitrag
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
2006Anwendung und Evaluierung verhaltensbasierter Ansätze zur Entwicklung verlässlicher Automotivesysteme
Böhr, F.
: Trapp, M. (Prüfer)
Diplomarbeit
2003Zur Konstruktion verlässlicher eingebetteter Software durch Synchrone Programmierung
Budde, R.; Poigné, A.; Sylla, K.-H.
Zeitschriftenaufsatz
2002Routing to support communication in dependable networks
Großpietsch, K.-E.; Maehle, E.
Konferenzbeitrag
2000An Initiative for Supporting the Dependable Reuse of Computing Systems
Belli, F.; Großpietsch, K.-E.
Konferenzbeitrag
1994An approach to Petri net based integration of qualitative and quantitative analysis of parallel systems
Wikarski, D.; Heiner, M.
Buch
1994A Petri net based methodology to integrate qualitative and quantitative analysis
Wikarski, D.
Zeitschriftenaufsatz
1994Stochastic modeling using DSPNexpress
Lindemann, C.
Buch
1993A Petri Net based tool kit to integrate qualitative and quantitative analysis
Wikarski, D.; Heiner, M.; Ventre, G.
Konferenzbeitrag
1989Management of the DELTA-4 open, distributed and dependable computing system
Usländer, T.; Bonn, G.; Bügel, U.; Kaiser, F.
Konferenzbeitrag