Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen: Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, ... 2002 (Informatik aktuell) (German Edition)
Book Details
PublisherSpringer
ISBN / ASIN3540443320
ISBN-139783540443322
AvailabilityUsually ships in 24 hours
Sales Rank99,999,999
MarketplaceUnited States 🇺🇸
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.
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.
