default search action
PEARL 2002: Boppard, Germany
- Peter Holleczek, Birgit Vogel-Heuser:
Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen - PEARL 2002, Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, Boppard, 28./29. November 2002. Informatik Aktuell, Springer 2003, ISBN 3-540-44332-0
Entwicklung sicherer Autornatisierungssysteme
- Uwe Jülly:
Sicherheitsgerichtete programmierbare Systeme (PES) in Anlagen mit Gefährdungspotential. 1-10 - Peter F. Elzer:
Die Bedeutung der Mensch-Maschine-Schnittstelle für Sicherheit und Zuverlässigkeit von technischen Systemen. 11-20 - Gilles Motet:
Certification of Real-Time Systems. Consequences on Modeling Tool and Modeling Process. 21-30
Programmiermethodik
- Thomas Licht, Tatiana Djambova, Wolfgang Fengler:
Objektorientierte Modellierung von Echtzeitsystemen für die Automatisierungstechnik mit Überprüfung von Zeitbedingungen im Modell. 31-40 - Reinhard Baran:
Entwurfsmuster für Echtzeitsysteme. 41-49 - Katja Fischer, Birgit Vogel-Heuser:
Evaluation von UML/RT für Automatisierungssysteme im Anlagenbau. 50-59
IT-Sicherheit und Echtzeitsysteme
- Martin Naedele:
IT Security for Automation Systems - Motivations and Mechanisms. 60-69 - Jochen Kaiser:
Bedrohungsszenarien und Gegenmaßnahmen im Dialogsystem IRC. 70-80
Echtzeit-Anwendungen
- Badi Boussoffara, Peter F. Elzer:
Mit PEARL gesteuerte Roboter im Rahmen eines Prozeßrechnerpraktikums. 81-89 - Jan Bartels, Fabian Elbert:
XML-basierte Feldbusdiagnoseoberfläche für RTOS-UH. 90-99 - Martin Schmalohr:
Streaming video - Echtzeitanforderungen an Streaming-Formate und Player. 100-110
Validierung und Zertifizierung sicherer Echtzeitsysteme
- Thorsten Lörch, André Fitzke:
Validierung einer integrierenden Software-Plattform für sicherheitskritische Bahnsysteme. 111-117 - Georg Thiele, Thomas Laarz, Jan Westerkamp, Rolf Neimeier, Günter Schulz-Ekloff, Lothar Renner, E. Balep:
Entwurf und Implementierung von zertifizierbaren Verläßlichkeits-Funktionen für die Fuzzy-Führungsregelung eines chemischen Prozesses mit analytischer Redundanz. 118-128 - Wolfgang A. Halang:
Eine verläßliche Plattform zur Ausführung zertifizierbarer Echtzeitprogramme. 129-138
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.