Holleczek / Vogel-Heuser | Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen | E-Book | sack.de
E-Book

E-Book, Deutsch, 138 Seiten, eBook

Reihe: Informatik aktuell

Holleczek / Vogel-Heuser Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen

Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 28./29. November 2002
2002
ISBN: 978-3-642-55713-2
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 28./29. November 2002

E-Book, Deutsch, 138 Seiten, eBook

Reihe: Informatik aktuell

ISBN: 978-3-642-55713-2
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Holleczek / Vogel-Heuser Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Holleczek, Peter
Vogel-Heuser, Birgit

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.