Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen

Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 28./29. November 2002

148 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Informatik aktuell
• Themen: Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Software Engineering
• ISBN: 9783540443322
• Sprache: Deutsch
• Erscheinungsdatum: 01.11.2002
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Peter Holleczek, Birgit Vogel-Heuser