Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen: Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 28./29. November 2002
Gespeichert in:
Bibliographische Detailangaben
Format: Elektronisch E-Book
Sprache:German
Veröffentlicht: Berlin, Heidelberg Springer Berlin Heidelberg 2002
Schriftenreihe:Informatik aktuell
Schlagworte:
Online-Zugang:Volltext
Beschreibung: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
Beschreibung: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

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen