Advertisement

Sicherheitsgerichtete Echtzeitsysteme

  • Wolfgang A. Halang
  • Rudolf M. Konakovsky

Table of contents

  1. Front Matter
    Pages 1-17
  2. Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 1-27
  3. Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 29-54
  4. Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 55-73
  5. Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 75-102
  6. Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 103-132
  7. Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 133-160
  8. Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 161-192
  9. Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 193-225
  10. Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 227-267
  11. Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 269-306
  12. Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 307-346
  13. Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 347-383
  14. Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 459-527
  15. Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 529-564
  16. Wolfgang A. Halang, Rudolf M. Konakovsky
    Pages 565-595
  17. Back Matter
    Pages 597-601

About this book

Introduction

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.

 

Die Zielgruppen

Studierende der Automatisierungstechnik und der Informatik sowie Systemarchitekten und Entwickler.

Die Autoren

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.

Keywords

Automatisierungstechnik Echtzeitsysteme PEARL Sicherheit eingebettete Systeme programmierbare elektronische Systeme (PES)

Authors and affiliations

  • Wolfgang A. Halang
    • 1
  • Rudolf M. Konakovsky
    • 2
  1. 1.Lehrstuhl für InformationstechnikFernuniversität in HagenHagenGermany
  2. 2.StuttgartGermany

Bibliographic information

Industry Sectors
Pharma
Materials & Steel
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering