| Sicherheit Und Verfügbarkeit in Echtzeit- Und Automatisierungssystemen: Fachtagung Der Gi-Fachgruppe 4.4.2 Echtzeitprogrammierung, Pearl Boppard, 28./ 2002 Edition Contributor(s): Holleczek, Peter (Editor), Vogel-Heuser, Birgit (Editor) |
|
 |
ISBN: 3540443320 ISBN-13: 9783540443322 Publisher: Springer OUR PRICE: $66.49 Product Type: Paperback Language: German Published: November 2002 |
| Additional Information |
| BISAC Categories: - Computers | Networking - Hardware - Computers | Software Development & Engineering - General - Computers | Hardware - General |
| Dewey: 004.6 |
| LCCN: 2005433673 |
| Series: Informatik Aktuell |
| Physical Information: 0.32" H x 6.14" W x 9.21" (0.48 lbs) 138 pages |
| Descriptions, Reviews, Etc. |
| Publisher 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. |