Skip to main content
  • Book
  • © 2018

Sicherheitsgerichtete Echtzeitsysteme

  • Ein wichtiges Buch für die Verlässlichkeit und Sicherheit von Automatisierungssystemen
  • Durchleuchtung der sicherheitsgerichteten Prozeßdatenverarbeitung nach aktuellem Stand der Technik
  • Hardwarearchitekturen und Softwareprogrammierung werden behandelt

Part of the book series: VDI-Buch (VDI-BUCH)

Buy it now

Buying options

eBook USD 89.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

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

Table of contents (18 chapters)

  1. Front Matter

    Pages I-XIX
  2. Grundlagen sicherheitsgerichteter Echtzeitsysteme

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 1-40
  3. Konzepte zur sicherheitsgerichteten Prozeßautomatisierung

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 41-66
  4. Hardware-Systeme zur sicheren Prozeßdatenverarbeitung

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 67-84
  5. Zweikanalige sicherheitsgerichtete Rechnersysteme

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 85-113
  6. Entwicklung sicherheitsgerichteter Software

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 115-144
  7. Software-Verifikation

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 145-172
  8. Dienstgüte und Bewertung sicherheitsgerichteter Echtzeitsysteme

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 173-218
  9. Das inhärent sichere Funktionsplanparadigma

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 219-250
  10. Erstellung und Prüfung sicherheitsgerichteter Software

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 251-292
  11. Einige formale Methoden zur Programmverifikation

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 293-329
  12. Statisch und dynamisch sichere Prozessoren

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 331-358
  13. Eine funktionsplanabbildende Prozeßrechnerarchitektur

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 359-400
  14. Fallstudien sicherheitsgerichteter programmierbarer elektronischer Systeme

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 401-438
  15. Zeitsignalverbreitung und rechnerinterne Zeitverwaltung

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 439-476
  16. Ein sicherheitsgerichteter Feldbus

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 551-619
  17. Sicherheitsgerichete Echtzeitprogrammierung in PEARL

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 621-666
  18. Ablaufplanung und Zuteilbarkeitsanalyse für den Mehrprozessbetrieb

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 667-703
  19. Back Matter

    Pages 705-712

About this book

Das Buch behandelt das wichtige Thema funktionale Sicherheit programmierbarer elektronischer Systeme. Anhand begrifflicher, methodischer und konzeptioneller Grundlagen sicherheitsgerichteter Echtzeitsysteme wird in die Denkweise der Sicherheitstechnik eingeführt. Architekturen für sichere Hardware sowie Verfahren zur Erstellung möglichst fehlerfreier Software und zu deren Verifizierung werden dargestellt und bewertet. Weiterhin werden Ergebnisse jüngster Forschungen vorgestellt wie inhärent sicherheitsfördernde Paradigmen der Echtzeitprogrammierung und -ablauforganisation oder unkonventionelle sicherheitsgerichtete Architekturen für sicherheitstechnisch abnehmbare Feldbusse und programmierbare elektronische Systeme.

Das Buch wurde für die 3. Auflage gründlich überarbeitet und um die Darstellung neuer Patente  und Normen erweitert. 

Die Zielgruppen

Studierende der Automatisierungstechnik und der Informatik sowie Systemarchitekten und Entwickler.

Authors and Affiliations

  • Hagen, Germany

    Wolfgang A. Halang

  • Stuttgart, Germany

    Rudolf M. Konakovsky

About the authors

Wolfgang A. Halang wurde in Mathematik und in Informatik promoviert. Nach Industrietätigkeiten, u.a. in der Prozeßleittechnik der Bayer AG, und einer Professur für Angewandte Informatik an der Reichsuniversität zu Groningen ist er seit 1992 Inhaber des Lehrstuhls für Informationstechnik der Fernuniversität in Hagen.

Rudolf M. Konakovsky studierte in Bratislava und wurde an der Universität Stuttgart promoviert und habilitiert. Dort war er nach Forschungs-, Industrie- (Bosch, ABB) und Sachverständigentätigkeiten im In- und Ausland Professor für Zuverlässigkeit und Sicherheit von Automatisierungssystemen.

Bibliographic Information

  • Book Title: Sicherheitsgerichtete Echtzeitsysteme

  • Authors: Wolfgang A. Halang, Rudolf M. Konakovsky

  • Series Title: VDI-Buch

  • DOI: https://doi.org/10.1007/978-3-662-56369-4

  • Publisher: Springer Vieweg Berlin, Heidelberg

  • eBook Packages: Computer Science and Engineering (German Language)

  • Copyright Information: Springer-Verlag GmbH Deutschland, ein Teil von Springer Nature 2018

  • Hardcover ISBN: 978-3-662-56368-7Published: 11 May 2018

  • eBook ISBN: 978-3-662-56369-4Published: 26 April 2018

  • Series ISSN: 2512-5281

  • Series E-ISSN: 2512-529X

  • Edition Number: 3

  • Number of Pages: XIX, 712

  • Number of Illustrations: 290 b/w illustrations

  • Additional Information: Ursprünglich erschienen im Oldenbourg Verlag 1999

  • Topics: Robotics and Automation, Software Engineering, Systems and Data Security

Buy it now

Buying options

eBook USD 89.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access