Author: Peter Holleczek (Herausgeber), Birgit Vogel-Heuser (Herausgeber)
Title: Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen. PEARL 2002
Description: , Springer-Verlag GmbH, Auflage: 1 (Dezember 2002). 138, 24,3 x 16,6 x 4,4 cm, Softcover. Zustand: 2. Schwerpunktthemen des diesjährigen Workshops:Sicherheit und Verfügbarkeit in Echtzeit- und AutomatisierungssystemenVerlässlichkeit und Fehlertoleranz (Safety); Eindringsicherheit und Bedrohungsszenarien ( Security); Verifizierbarkeit und Zertifizierbarkeit.Sicherheitsgerichtete TechnologienEngineering-Standards, Validierung; Entwurfsmethodik; Implementierung.Aktuelle EchtzeitanwendungenErfahrungen 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. ISBN: 3540443320. Gewicht/weight: 2000 gr.

Keywords: Schwerpunktthemen des diesjährigen Workshops:Sicherheit und Verfügbarkeit in Echtzeit- und AutomatisierungssystemenVerlässlichkeit und Fehlertoleranz (Safety); Eindringsicherheit und Bedrohungsszenarien ( Security); Verifizierbarkeit und Zertifizierbarkei