Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen

Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 28./29. November 2002
Herausgegeben:Holleczek, Peter; Vogel-Heuser, Birgit

• Broschiertes Buch

Produktbeschreibung

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.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Informatik aktuell
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-44332-2
• 2002
• Seitenzahl: 148
• Erscheinungstermin: 1. November 2002
• Deutsch
• Abmessung: 235mm x 155mm x 9mm
• Gewicht: 240g
• ISBN-13: 9783540443322
• ISBN-10: 3540443320
• Artikelnr.: 37674395

Autorenporträt

Prof. Dr.-Ing. Birgit Vogel-Heuser leitet den Lehrstuhl für Automatisierung und Informationssysteme der TU München. Sie verfügt über langjährige Industrie- und Hochschulerfahrung im Bereich der System- und Softwareentwicklung verteilter, intelligenter, eingebetteter Systeme für Industrie 4.0.

Inhaltsangabe

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.