Advertisement

© 2002

Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen

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

  • Peter Holleczek
  • Birgit Vogel-Heuser
Conference proceedings

Part of the Informatik aktuell book series (INFORMAT)

Table of contents

  1. Front Matter
    Pages i-vii
  2. Entwicklung sicherer Autornatisierungssysteme

  3. Programmiermethodik

  4. IT-Sicherheit und Echtzeitsysteme

  5. Echtzeit-Anwendungen

  6. Validierung und Zertifizierung sicherer Echtzeitsysteme

About these proceedings

Keywords

Echtzeitprogrammierung Echtzeitsystem Entwurf Entwurfsmuster Modellierung Programmierung Validierung

Editors and affiliations

  • Peter Holleczek
    • 1
  • Birgit Vogel-Heuser
    • 2
  1. 1.Regionales Rechenzentrum der Universität Erlangen-NürnbergErlangenDeutschland
  2. 2.Automatisierungstechnik/ProzessinformatikBergische Universität GH WuppertalWuppertalDeutschland

Bibliographic information