Springer
Sicherheit Und Verf?gbarkeit in Echtzeit- Und Automatisierungssystemen: Fachtagung Der Gi-Fachgruppe 4.4.2 Echtzeitprogrammierung, Pearl Boppard, 28./
Product Code:
9783540443322
ISBN13:
9783540443322
Condition:
New
$76.99
Sicherheit Und Verf?gbarkeit in Echtzeit- Und Automatisierungssystemen: Fachtagung Der Gi-Fachgruppe 4.4.2 Echtzeitprogrammierung, Pearl Boppard, 28./
$76.99
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.
| Author: Peter Holleczek |
| Publisher: Springer |
| Publication Date: Nov 01, 2002 |
| Number of Pages: 138 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540443320 |
| ISBN-13: 9783540443322 |
Related Products
