InhaltsangabeEntwicklung 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.

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg