Skip to main content
SpringerLink
Log in

Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen

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

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Peter Holleczek

    1. Regionales Rechenzentrum der Universität Erlangen-Nürnberg, Erlangen, Deutschland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Birgit Vogel-Heuser

    1. Automatisierungstechnik/Prozessinformatik, Bergische Universität GH Wuppertal, Wuppertal, Deutschland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Informatik aktuell (INFORMAT)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Pages i-vii
    Download chapter PDF

  3. Programmiermethodik

    1. Objektorientierte Modellierung von Echtzeitsystemen für die Automatisierungstechnik mit Überprüfung von Zeitbedingungen im Modell

      • Thomas Licht, Tatiana Djambova, Wolfgang Fengler
      Pages 31-40

    2. Entwurfsmuster für Echtzeitsysteme

      • Reinhard Baran
      Pages 41-49

    3. Evaluation von UML/RT für Automatisierungssysteme im Anlagenbau

      • Katja Fischer, Birgit Vogel-Heuser
      Pages 50-59

  4. IT-Sicherheit und Echtzeitsysteme

    1. IT Security for Automation Systems — Motivations and Mechanisms

      • Martin Naedele
      Pages 60-69

    2. Bedrohungsszenarien und Gegenmaßnahmen im Dialogsystem IRC

      • Jochen Kaiser
      Pages 70-80

  5. Echtzeit-Anwendungen

    1. Mit PEARL gesteuerte Roboter im Rahmen eines Prozeßrechnerpraktikums

      • B. Boussoffara, P. F. Elzer
      Pages 81-89

    2. XML-basierte Feldbusdiagnoseoberfläche für RTOS-UH

      • Jan Bartels, Fabian Elbert
      Pages 90-99

    3. Streaming video — Echtzeitanforderungen an Streaming-Formate und Player

      • Martin Schmalohr
      Pages 100-110

  6. Validierung und Zertifizierung sicherer Echtzeitsysteme

    1. Validierung einer integrierenden Software-Plattform für sicherheitskritische Bahnsysteme

      • Thorsten Lörch, André Fitzke
      Pages 111-117

    2. Entwurf und Implementierung von zertifizierbaren Verläßlichkeits-Funktionen für die Fuzzy-Führungsregelung eines chemischen Prozesses mit analytischer Redundanz

      • G. Thiele, Th. Laarz, J. Westerkamp, R. Neimeier, G. Schulz-Ekloff, L. Renner et al.
      Pages 118-128

    3. Eine verläßliche Plattform zur Ausführung zertifizierbarer Echtzeitprogramme

      • Wolfgang A. Halang
      Pages 129-138
Back to top

Keywords

Editors and Affiliations

  • Regionales Rechenzentrum der Universität Erlangen-Nürnberg, Erlangen, Deutschland

    Peter Holleczek

  • Automatisierungstechnik/Prozessinformatik, Bergische Universität GH Wuppertal, Wuppertal, Deutschland

    Birgit Vogel-Heuser

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation