Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 28./29. November 2002 (Springer Berlin Heidelberg, 2002)
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