Echtzeit und Sicherheit: Echtzeit 2018

Description

Mit seinem Workshop 2018 zum Thema "Echtzeit und Sicherheit" bietet der GI/GMA/ITG-Fachausschuss Echtzeitsysteme Wissenschaftlern, Nutzern und Herstellern ein Forum, auf dem neue Trends und Entwicklungen zu folgenden Programmschwerpunkten vorgestellt werden: Eingebettete Systeme, Echtzeitkommunikation, Leistungssteuerung und -bewertung, Logistik und Echtzeit sowie funktionale Sicherheit. Berichte zu aktuellen Anwendungen und zur Ausbildung runden die Publikation ab. Front Matter ....Pages I-VIII Von Algol 68 zu SafePEARL (Wolfgang A. Halang, Marcel Schaible)....Pages 1-10 Funktionale Sicherheit von autonomen Transportsystemen in flexiblen I4.0 Fertigungsumgebungen (Philip Kleen, Janis Albrecht, Jürgen Jasperneite, Detlev Richter)....Pages 11-20 Secure Real-time Communication (Dimitrios Savvidis, Dietmar Tutsch)....Pages 21-28 Entwicklungsvorschläge für ISO 26262 konforme MCUs in sicherheitskritischer Avionik (Georg Seifert, Sebastian Hiergeist, Andreas Schwierz)....Pages 29-38 Autonomes Fahren in der Lehre (Andreas Werner, Robert Kaiser)....Pages 39-48 Automatische Evaluierung von Anforderungen bezüglich der Informationssicherheit für das zukünftige industrielle Netzwerkmanagement (Marco Ehrlich, Henning Trsek, Jürgen Jasperneite)....Pages 49-58 SWAN: Systemweite statische Laufzeitanalyse echtzeitfähiger Betriebssysteme (Simon Schuster)....Pages 59-68 Spezifikation projektspezifischer Software (Jens Lehmann)....Pages 69-78 Timekeeper - Zeiterfassung mittels RFID und Raspberry Pi (Denise Papaioannou, Mario Kubek)....Pages 79-88 Schutz automatisierungstechnischer Programme vor Umkehrentwicklung (Sergej Gertje)....Pages 89-98 Latenzen von POSIX Betriebssystemen im Kontext von Hypervisoren in Real-Time Systemen (Ludwig Thomeczek, Andreas Attenberger, Václav Matoušek, Jürgen Mottok)....Pages 99-108 fastAN(BD) – eine Methode zur schnellen Dekodierung und Integritätsprüfung ANBD-kodierter Daten (Stefan Widmann)....Pages 109-118 Parametrierbare Übergabeschnittstellen im Entwurfsprozess für sicherheitsgerichtete Systeme (Daniel Koß)....Pages 119-128