Funktionale Sicherheit: Echtzeit 2013

Description

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. Front Matter....Pages I-VIII Funktionale Sicherheit programmierbarer elektronischer Systeme....Pages 1-6 Werkzeugunterstützung der Prüfung sicherheitsgerichteter Software auf Normenkonformität....Pages 7-18 Reaktive optische Einknickwinkelvermessung bei Gliederfahrzeugen....Pages 19-28 IT-Sicherheits-Eigenschaften für eng gekoppelte, asynchrone Multi-Betriebssysteme im automotiven Umfeld....Pages 29-38 Leistungs- und Präzisionssteigerung des Lastgenerierungsprozesses von UniLoG unter Verwendung echtzeitfördernder Maßnahmen durch das Betriebssystem....Pages 39-48 Slothful Linux: Ein effizientes, hybrides Echtzeitbetriebssystem durch Hardware-basierte Task-Einlastung....Pages 49-58 Entwurf und Implementierung einer Prozessinterkommunikation für Multi-Core CPUs....Pages 59-68 Fehlertolerante verteilte Systeme aus Standardkomponenten....Pages 69-76 Framework für die empirische Bestimmung der Ausführungszeit auf Mehrkernprozessoren....Pages 77-86 Statistische Parametersynthese für hybride Systeme....Pages 87-96 Simulation von Teilnehmern verteilter Systeme zur Verifikation und Systemintegration....Pages 97-106 Verifikation und Validierung sicherheitsgerichteter SPS-Programme....Pages 107-116 Qualitative Analyse der funktionalen Sicherheit software-intensiver Systeme mittels Zustands/Ereignis-Fehlerbäumen....Pages 117-126