Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen Buchkatalog

Schwerpunktthemen des diesjährigen Workshops: Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen: Verläßlichkeit 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 Vorträge zu diesen Themen, u.a. über praktischen Einsatz, Methoden und Erfahrungen sowie Ausblicke in die Zukunft sind Inhalt dieses Bandes.