Abstract is missing.
- Funktionale Sicherheit programmierbarer elektronischer SystemeIngo Rolle. 1-6 [doi]
- Werkzeugunterstützung der Prüfung sicherheitsgerichteter Software auf NormenkonformitätGünter Glöe, Detlev Volkwarth. 7-18 [doi]
- Reaktive optische Einknickwinkelvermessung bei GliederfahrzeugenSimon Eggert, Christian Fuchs, Frank Bohdanowicz, Dieter Zöbel. 19-28 [doi]
- IT-Sicherheits-Eigenschaften für eng gekoppelte, asynchrone Multi-Betriebssysteme im automotiven UmfeldPierre Schnarz, Joachim Wietzke. 29-38 [doi]
- Leistungs- und Präzisionssteigerung des Lastgenerierungsprozesses von UniLoG unter Verwendung echtzeitfördernder Maßnahmen durch das BetriebssystemAlexander Beifuß. 39-48 [doi]
- Slothful Linux: Ein effizientes, hybrides Echtzeitbetriebssystem durch Hardware-basierte Task-EinlastungRainer Müller. 49-58 [doi]
- Entwurf und Implementierung einer Prozessinterkommunikation für Multi-Core CPUsManuel Strobel. 59-68 [doi]
- Fehlertolerante verteilte Systeme aus StandardkomponentenPeter F. Elzer. 69-76 [doi]
- Framework für die empirische Bestimmung der Ausführungszeit auf MehrkernprozessorenJulian Godesa, Robert Hilbrich. 77-86 [doi]
- Statistische Parametersynthese für hybride SystemeChristian Schwarz. 87-96 [doi]
- Simulation von Teilnehmern verteilter Systeme zur Verifikation und SystemintegrationSilvije Jovalekic, Michael Wiescholek, Bernd Rist. 97-106 [doi]
- Verifikation und Validierung sicherheitsgerichteter SPS-ProgrammeDoaa Soliman, Georg Frey. 107-116 [doi]
- Qualitative Analyse der funktionalen Sicherheit software-intensiver Systeme mittels Zustands/Ereignis-FehlerbäumenMichael Roth, Peter Liggesmeyer. 117-126 [doi]