Auflistung nach Autor "Spitzer, Silke" - Digitale Bibliothek

Automotive - Safety & Security 2012

Plödereder, Erhard; Dencker, Peter; Klenk, Herbert; Keller, Hubert B.; Spitzer, Silke

Automotive safety and security from a supplier's perspective

Klauda, Matthias

13-22

Constructive requirements modeling - more reliable implementations in a shorter time

Berger, Christian; Siegl, Sebastian

149-162

Evolution of functional safety & security in AUTOSAR

Schmerler, Stefan

23-24

Extraktion von Interthread-Kommunikation in eingebetteten Systemen

Wittiger, Martin; Keul, Steffen

55-67

Freedom from interference for AUTOSAR-based ECUs: a partitioned AUTOSAR stack

Haworth, David; Jordan, Tobias; Mattausch, Alexander; Much, Alexander

85-98

Increasing the reliability of single and multi core systems with software rejuvenation and coded processing

Braun, Jürgen; Mottok, Jürgen; Miedl, Christian; Geyer, Dirk; Minas, Mark

163-178

Integration von Formaler Verifikation und Test

Comar, Cyrille; Kanig, Johannes; Moy, Yannick

133-148

ISO 26262 - Quo vadis?

Kriso, Stefan

229-240

ISO 26262 - Tool chain analysis reduces tool qualification costs

Slotosch, Oscar; Wildmoser, Martin; Philipps, Jan; Jeschull, Reinhard; Zalman, Rafael

27-38

MEMICS - memory interval constraint solving of (concurrent) machine code

Nowotka, Dirk; Traub, Johannes

69-83

Modelica - modeling and simulation of technical systems

Jähnichen, Stefan

11-11

Modellbasierte Sicherheitsanalysen im BMBF-Förderprojekt e performance

Adler, Rasmus; Kemmann, Sören; Schurius, Markus; Allmann, Christian

179-193

Risk-based testing of Bluetooth functionality in an automotive environment

Jakob, Felix; Kremer, Wolfgang; Schulze, Andreas; Großmann, Jürgen; Menz, Nadja; Schneider, Martin; Feudjio, Alain-Georges Vouffo

211-228

Static verification of non-functional software requirements in the ISO-26262

Kästner, Daniel; Ferdinand, Christian

39-54

SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten Controllern

Becker, Klaus; Buckl, Christian; Camek, Alexander; Falk, Rainer; Fiege, Ludger; Geßner, Jürgen; Sommer, Stephan

115-132

A systematic approach to a qualified security risk analysis for vehicular IT systems

Wolf, Marko; Scheibel, Michael

195-210

Why current memory management units are not suited for automotive ECUs

Schneider, Jörn

99-114