Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen

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

AvPeter Holleczek,Birgit Vogel-Heuser

Häftad, Tyska, 2002

Del i serien Informatik aktuell

587 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:2002-11-01
Mått:155 x 235 x 9 mm
Vikt:236 g
Format:Häftad
Språk:Tyska
Serie:Informatik aktuell
Antal sidor:138
Upplaga:2002
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540443322

Utforska kategorier

Nätverk och kommunikation inom Data och IT
Hårdvara inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

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.

Mer från samma författare

Verteilte Echtzeitsysteme

Peter Holleczek, Birgit Vogel-Heuser

Häftad, 2003

428 kr

Eingebettete Systeme

Peter Holleczek, Birgit Vogel-Heuser

Häftad, 2004

428 kr

Echtzeitaspekte bei der Koordinierung Autonomer Systeme

Peter Holleczek, Birgit Vogel-Heuser

Häftad, 2005

608 kr

Echtzeitaspekte bei der Koordinierung Autonomer Systeme

Birgit Vogel-Heuser, Peter Holleczek

E-bok

2006

624 kr

Pearl 2000

Peter Holleczek

Häftad, 2000

587 kr

Echtzeitkommunikation und Ethernet/Internet

Peter Holleczek, Birgit Vogel-Heuser

Häftad, 2001

587 kr

Echtzeitsysteme im Alltag

Peter Holleczek, Birgit Vogel-Heuser

Häftad, 2006

534 kr

PEARL 92

Peter Holleczek, Peter Holleczek

Häftad, 1992

587 kr

Pearl 93

Peter Holleczek

Häftad, 1993

587 kr

PEARL 94

Peter Holleczek

Häftad, 1994

587 kr

Mer från samma serie

Kommunikation in Verteilten Systemen (KiVS)

Klaus Irmscher, Klaus Fähnrich

Häftad, 2003

852 kr

Bildverarbeitung für die Medizin 2003

Thomas Wittenberg, Peter Hastreiter, Ulrich Hoppe, Heinz Handels, Alexander Horsch, Hans-Peter Meinzer

Häftad, 2003

905 kr

Verteilte Echtzeitsysteme

Peter Holleczek, Birgit Vogel-Heuser

Häftad, 2003

428 kr

Autonome Mobile Systeme 2003

Rüdiger Dillmann, Heinz Wörn, Tilo Gockel

Häftad, 2003

876 kr

Bildverarbeitung für die Medizin 2004

Thomas Tolxdorff, Jürgen Braun, Heinz Handels, Alexander Horsch, Hans-Peter Meinzer

Häftad, 2004

928 kr

Eingebettete Systeme

Peter Holleczek, Birgit Vogel-Heuser

Häftad, 2004

428 kr

Kommunikation in Verteilten Systemen (KiVS) 2005

Paul Müller, Reinhard Gotzhein, Jens B. Schmitt

Häftad, 2005

1 061 kr

Bildverarbeitung für die Medizin 2005

Hans-Peter Meinzer, Heinz Handels, Alexander Horsch, Thomas Tolxdoff

Häftad, 2005

1 272 kr

Echtzeitaspekte bei der Koordinierung Autonomer Systeme

Peter Holleczek, Birgit Vogel-Heuser

Häftad, 2005

608 kr

Autonome Mobile Systeme 2005

Paul Levi, Michael Schanz, Reinhard Lafrenz, Viktor Avrutin

Häftad, 2005

1 166 kr

Du kanske också är intresserad av

10% rabatt på allt

Adventskalender Ravensburger pussel 2026

Ravensburger

319 kr

Echtzeitsysteme im Alltag

Peter Holleczek, Birgit Vogel-Heuser

Häftad, 2006

534 kr

Echtzeitsysteme im Alltag

Birgit Vogel-Heuser, Peter Holleczek

E-bok

2007

559 kr

Echtzeitaspekte bei der Koordinierung Autonomer Systeme

Birgit Vogel-Heuser, Peter Holleczek

E-bok

2006

624 kr

Mobilität und Echtzeit

Peter Holleczek, Birgit Vogel-Heuser

Häftad, 2007

587 kr

Echtzeitaspekte bei der Koordinierung Autonomer Systeme

Peter Holleczek, Birgit Vogel-Heuser

Häftad, 2005

608 kr

Echtzeitkommunikation und Ethernet/Internet

Birgit Vogel-Heuser, Peter Holleczek

E-bok

2013

608 kr

Verteilte Echtzeitsysteme

Peter Holleczek, Birgit Vogel-Heuser

Häftad, 2003

428 kr

Eingebettete Systeme

Peter Holleczek, Birgit Vogel-Heuser

Häftad, 2004

428 kr

Verteilte Echtzeitsysteme

Birgit Vogel-Heuser, Peter Holleczek

E-bok

2013

394 kr

Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen

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

AvPeter Holleczek,Birgit Vogel-Heuser

Häftad, Tyska, 2002

Del i serien Informatik aktuell

587 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:2002-11-01
Mått:155 x 235 x 9 mm
Vikt:236 g
Format:Häftad
Språk:Tyska
Serie:Informatik aktuell
Antal sidor:138
Upplaga:2002
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540443322

Utforska kategorier

Nätverk och kommunikation inom Data och IT
Hårdvara inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

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.