
Parameter
Mehr zum Buch
InhaltsverzeichnisEntwicklung 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.
Buchkauf
Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen, Peter Holleczek
- Sprache
- Erscheinungsdatum
- 2002
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen
- Sprache
- Deutsch
- Autor*innen
- Peter Holleczek
- Verlag
- Springer
- Erscheinungsdatum
- 2002
- ISBN10
- 3540443320
- ISBN13
- 9783540443322
- Reihe
- Informatik aktuell
- Kategorie
- Skripten & Universitätslehrbücher
- Beschreibung
- InhaltsverzeichnisEntwicklung 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.