Sicherheit und Verfgbarkeit in Echtzeit- und Automatisierungssystemen

Schwerpunktthemen des diesjahrigen Workshops: Sicherheit und Verfugbarkeit in Echtzeit- und Automatisierungssystemen: Verlasslichkeit und Fehlertoleranz (Safety); Eindringsicherheit und Bedrohungsszenarien ( Security); Verifizierbarkeit und Zertifizierbarkeit. Sicherheitsgerichtete Technologien: Engineering-Standards, Validierung; Entwurfsmethodik; Implementierung. Aktuelle Echtzeitanwendungen: Erfahrungen und Echtzeitprogrammierung. PEARL und Echtzeitprogrammierung in der Ausbildung. Die Vortrage zu diesen Themen, u.a. uber praktischen Einsatz, Methoden und Erfahrungen sowie Ausblicke in die Zukunft sind Inhalt dieses Bandes.