Funktionale Sicherheit

1. Front Matter

   Pages I-VIII

   PDF

2. Funktionale Sicherheit und ihre Normen

   1. Funktionale Sicherheit programmierbarer elektronischer Systeme

      • Ingo Rolle

      Pages 1-6

   2. Werkzeugunterstützung der Prüfung sicherheitsgerichteter Software auf Normenkonformität

      • Günter Glöe, Detlev Volkwarth

      Pages 7-18

3. Automobiltechnische Anwendungen

   1. Reaktive optische Einknickwinkelvermessung bei Gliederfahrzeugen

      • Simon Eggert, Christian Fuchs, Frank Bohdanowicz, Dieter Zöbel

      Pages 19-28

   2. IT-Sicherheits-Eigenschaften für eng gekoppelte, asynchrone Multi-Betriebssysteme im automotiven Umfeld

      • Pierre Schnarz, Joachim Wietzke

      Pages 29-38

4. Graduiertenwettbewerb

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

      • Alexander Beifuß

      Pages 39-48

   2. Slothful Linux: Ein effizientes, hybrides Echtzeitbetriebssystem durch Hardware-basierte Task-Einlastung

      • Rainer Müller

      Pages 49-58

   3. Entwurf und Implementierung einer Prozessinterkommunikation für Multi-Core CPUs

      • Manuel Strobel

      Pages 59-68

5. Systementwicklung

   1. Fehlertolerante verteilte Systeme aus Standardkomponenten

      • Peter F. Elzer

      Pages 69-76

   2. Framework für die empirische Bestimmung der Ausführungszeit auf Mehrkernprozessoren

      • Julian Godesa, Robert Hilbrich

      Pages 77-86

   3. Statistische Parametersynthese für hybride Systeme

      • Christian Schwarz

      Pages 87-96

6. Verifikation

   1. Simulation von Teilnehmern verteilter Systeme zur Verifikation und Systemintegration

      • Silvije Jovalekic, Michael Wiescholek, Bernd Rist

      Pages 97-106

   2. Verifikation und Validierung sicherheitsgerichteter SPS-Programme

      • Doaa Soliman, Georg Frey

      Pages 107-116

   3. Qualitative Analyse der funktionalen Sicherheit software-intensiver Systeme mittels Zustands/Ereignis-Fehlerbäumen

      • Michael Roth, Peter Liggesmeyer

      Pages 117-126

Mit seinem Workshop 2013 zum Thema "Funktionale Sicherheit" bietet der Fachausschuss Echtzeitsysteme Wissenschaftlern, Nutzern und Herstellern ein Formu an, auf dem neue Trends und Entwicklungen zu folgenden Programmschwerpunkten vorgestellt werden: Sensornetze, Betriebssysteme und Middleware, Mehrkernprogrammierung, Mobile Systeme, Engineering, Modellbildung und Simulation. Berichte zu aktuellen Anwendungen und zur Ausbildung runden die Publikation ab.

• Echtzeitkommunikation
• Echtzeitprogrammierung
• Modellbildung
• Sicherheit

• Lehrstuhl für Informationstechnik, insb. Realzeitsysteme, Fernuniversität in Hagen, Hagen

  Wolfgang A. Halang

Policies and ethics