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

  • DOI https://doi.org/10.1007/978-3-642-55713-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-44332-2
  • Online ISBN 978-3-642-55713-2
  • Series Print ISSN 1431-472X
  • About this book