Betriebssysteme und Echtzeit Echtzeit 2015 : Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft

Mit seinem Workshop 2015 zum Thema "Betriebssysteme und Echtzeit" bietet der GI/GMA/ITG-Fachausschuss Echtzeitsysteme Wissenschaftlern, Nutzern und Herstellern ein Forum an, auf dem neue Trends und Entwicklungen zu folgenden Programmschwerpunkten vorgestellt werden: Schnittstellen und Architekturen, Mikrokernbasierte Betriebssysteme, Anwendungsspezifische Maßschneiderung, Bewertung und systematischer Entwurf von Systemschnittstellen, Modellierung und Simulation, Plattformen, Einsatz von Graphik-Coprozessoren, Multi/Manycore-Systemen, Virtualisierung, Energieeffizienz, Sicherheit und Fehlertoleranz und Programmiersprachen. Berichte zu aktuellen Anwendungen und zur Ausbildung runden die Publikation ab. Front Matter....Pages I-VIII Testen von Echtzeiteigenschaften für verteilte Ablaufsteuerungen....Pages 1-10 EMSBench: Benchmark und Testumgebung für reaktive Systeme....Pages 11-20 Prozessorarchitektur zum Einsatz unter sicherheitsgerichteten Echtzeitbedingungen....Pages 21-30 SAKKORO. Eine generische, echtzeitfähige Systemarchitektur für kognitive, kooperierende Roboter....Pages 31-38 CPS-Remus: Eine Hochverfügbarkeitslösung für virtualisierte cyber-physische Anwendungen....Pages 39-48 Ein hierarchisches Scheduling-Modell für unbekannte Anwendungen mit schwankenden Ressourcenanforderungen....Pages 49-58 Wartefreie Synchronisation von Echtzeitprozessen mittels abgeschirmter Abschnitte....Pages 59-68 dOSEK: Maßgeschneiderte Zuverlässigkeit....Pages 69-78 Ein Fork-Join-Parallelismus in einer gemischt-kritischen Mehrprozessorumgebung....Pages 79-88 React in Time: Ereignisbasierter Entwurf zeitgesteuerter verteilter Systeme....Pages 89-98 Collaborative Resource Management for Multi-Core AUTOSAR OS....Pages 99-108 Energieverbrauchsanalyse mittels impliziter Pfadaufzählung und genetischer Algorithmen....Pages 109-118 Testanwendungen zur Überprüfung des PEARL-Sprachsystems auf Sprachkonformität....Pages 119-127 Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen....Pages 128-136