Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen: Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 28./29. November 2002
Saved in:
Bibliographic Details
Format: Electronic eBook
Language:German
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2002
Series:Informatik aktuell
Subjects:
Online Access:Volltext
Item Description: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
Physical Description:1 Online-Ressource (VII, 138S. In 300 Baenden, nicht einzeln erhaeltlich)
ISBN:9783642557132
9783540443322
ISSN:1431-472X
DOI:10.1007/978-3-642-55713-2

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text