Funktionale Sicherheit

1. Funktionale Sicherheit programmierbarer elektronischer Systeme
Ingo Rolle

2. Werkzeugunterstützung der Prüfung sicherheitsgerichteter Software auf Normenkonformität
Günter Glöe, Detlev Volkwarth

3. Reaktive optische Einknickwinkelvermessung bei Gliederfahrzeugen
Simon Eggert, Christian Fuchs, Frank Bohdanowicz, Dieter Zöbel

4. IT-Sicherheits-Eigenschaften für eng gekoppelte, asynchrone Multi-Betriebssysteme im automotiven Umfeld
Pierre Schnarz, Joachim Wietzke

5. Leistungs- und Präzisionssteigerung des Lastgenerierungsprozesses von UniLoG unter Verwendung echtzeitfördernder Maßnahmen durch das Betriebssystem
Alexander Beifuß

6. Slothful Linux: Ein effizientes, hybrides Echtzeitbetriebssystem durch Hardware-basierte Task-Einlastung
Rainer Müller

7. Entwurf und Implementierung einer Prozessinterkommunikation für Multi-Core CPUs
Manuel Strobel

8. Fehlertolerante verteilte Systeme aus Standardkomponenten
Peter F. Elzer

9. Framework für die empirische Bestimmung der Ausführungszeit auf Mehrkernprozessoren
Julian Godesa, Robert Hilbrich

10. Statistische Parametersynthese für hybride Systeme
Christian Schwarz

11. Simulation von Teilnehmern verteilter Systeme zur Verifikation und Systemintegration
Silvije Jovalekic, Michael Wiescholek, Bernd Rist

12. Verifikation und Validierung sicherheitsgerichteter SPS-Programme
Doaa Soliman, Georg Frey

13. Qualitative Analyse der funktionalen Sicherheit software-intensiver Systeme mittels Zustands/Ereignis-Fehlerbäumen
Michael Roth, Peter Liggesmeyer

Avainsanat: Computer Science, Computer Systems Organization and Communication Networks, Software Engineering, Computer Communication Networks