description: Schwerpunktthemen des diesjährigen Sicherheit und Verfügbarkeit in Echtzeit- und Verläßlichkeit und Fehlertoleranz (Safety); Eindringsicherheit und Bedrohungsszenarien ( Security); Verifizierbarkeit und Zertifizierbarkeit.Sicherheitsgerichtete Engineering-Standards, Validierung; Entwurfsmethodik; Implementierung.Aktuelle 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.
language: German
title: Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen: Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, ... 2002 (Informatik aktuell)
titlecomplete: Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen: Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, ... 2002 (Informatik aktuell) (German Edition)
publisher: Springer