Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen : Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 28./29. November 2002 (Informatik aktuell .) (2002. VII, 138 S. 22 SW-Abb. 235 mm)

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.