Skip to main content
  • Book
  • © 2013

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

Buy it now

Buying options

eBook USD 79.99
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 (16 chapters)

  1. Front Matter

    Pages 1-17
  2. Grundlagen sicherheitsgerichteter Echtzeitsysteme

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

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

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 55-73
  5. Zweikanalige sicherheitsgerichtete Rechnersysteme

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 75-102
  6. Entwicklung sicherheitsgerichteter Software

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 103-132
  7. Software-Verifikation

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 133-160
  8. Quantitative Bewertung sicherheitsgerichteter Echtzeitsysteme

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

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

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

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 269-306
  12. Eine funktionsplanabbildende Prozeßrechnerarchitektur

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 307-346
  13. Fallstudien sicherheitsgerichteter programmierbarer elektronischer Systeme

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 347-383
  14. Ein sicherheitsgerichteter Feldbus

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 459-527
  15. Die sicherheitsgerichtete Echtzeitprogrammiersprache HI-PEARL

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 529-564
  16. Ablaufplanung und Zuteilbarkeitsanalyse für den Mehrprozeßbetrieb

    • Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 565-595
  17. Back Matter

    Pages 597-601

About this book

Das Buch behandelt das wichtige Thema Sicherheit bei elektronischen Systemen. 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 quantitativ bewertet. Weiterhin werden Ergebnisse jüngster Forschungen vorgestellt, so u.a. inhärent sicherheitsfördernde Paradigmen der Echtzeitprogrammierung und –ablauforganisation sowie unkonventionelle sicherheitsgerichtete Architekturen für sicherheitstechnisch abnehmbare Feldbusse und programmierbare elektronische Systeme.

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

Authors and Affiliations

  • Lehrstuhl für Informationstechnik, Fernuniversität in Hagen, 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

  • DOI: https://doi.org/10.1007/978-3-642-37298-8

  • Publisher: Springer Vieweg Berlin, Heidelberg

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

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2013

  • eBook ISBN: 978-3-642-37298-8Published: 03 July 2013

  • Edition Number: 2

  • Number of Pages: XVII, 601

  • Number of Illustrations: 238 b/w illustrations

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

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

Buy it now

Buying options

eBook USD 79.99
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