Peter Holleczek,
Birgit Vogel-Heuser
Springer Berlin Heidelberg
2002e druk, 2002
9783540443322
Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen
Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 28./29. November 2002
Specificaties
Paperback, 138 blz.
|
Duits
Springer Berlin Heidelberg |
2002e druk, 2002
ISBN13: 9783540443322
Rubricering
Onderdeel van serie
Informatik aktuell
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783540443322
Taal:Duits
Bindwijze:paperback
Aantal pagina's:138
Uitgever:Springer Berlin Heidelberg
Druk:2002
Hoofdrubriek:Netwerken, Computer en informatica
Serie:Informatik aktuell
Inhoudsopgave
Entwicklung sicherer Automatisierungssysteme.- : Sicherheitsgerichtete programmierbare Systeme (PES) in Anlagen mit Gefahrdungspotential.- : Die Bedeutung der Mensch-Maschine-Schnittstelle für Sicherheit und Zuverlassigkeit von technischen Systemen.- : Certification of Real-Time Systems.Consequences on Modelling Tool and Modelling Process.- Programmiermethodik.- : Objektorientierte Modellierung von Echtzeitsystemen für die Automatisierungstechnik mit Überprufung von Zeitbedingungen im Modell.- : Entwurfsmuster fur Echtzeitsysteme.- : Evaluation von UML/RT für Automatisierungssysteme im Anlagenbau.- : IT Security for Automation Systems - Motivations and Mechanisms.- : Bedrohungsszenarien und GegenmaBnahmen im Dialogsystemen IRC.- Echtzeit-Anwendungen.- : Mit PEARL gesteuerter Roboter im Rahmen eines Prozeßrechnerpraktikums.- : XML-basierte Feldbusdiagnoseoberfläche für RTOS-UH.- : Streaming video - Echtzeitanforderungen an Streaming-Formate und Player.- Validierung und Zertifizierung sicherer Echtzeitsysteme.- : Validierung einer integrierenden Software-Plattform für sicherheits-kritische Bahnsysteme.- : Entwurf und Implementierung von zertifizierbaren Verläßlichkeits-Funktionen für die Fuzzy-Führungsregelung eines chemischen Prozesses mit analytischer Redundanz.- : Eine verläßliche Plattform zur Ausführung zertifizierbarer Echtzeitprogramme.
