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.
Grundlagen sicherheitsgerichteter Echtzeitsysteme.- Konzepte zur
sicherheitsgerichteten Prozeßautomatisierung.- Hardware-Systeme zur sicheren
Prozeßdatenverarbeitung.- Zweikanalige sicherheitsgerichtete Rechnersysteme.-
Entwicklung sicherheitsgerichteter Software.- Software-Verifikation.-
Quantitative Bewertung sicherheitsgerichteter Echtzeitsysteme.- Das inhärent
sichere Funktionsplanparadigma.- Erstellung und Prüfung
sicherheitsgerichteter Software.- Einige formale Methoden zur
Programmverifikation.- Eine funktionsplanabbildende
Prozeßrechnerarchitektur.- Fallstudien sicherheitsgerichteter
programmierbarer elektronischer.- Systeme.- Die sicherheitsgerichtete
Echtzeitprogrammiersprache HI-PEARL.- Ablaufplanung und Zuteilbarkeitsanalyse
für den Mehrprozeßbetrieb.- Literaturverzeichnis.- Stichwortverzeichnis.
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.
Lisainfo e-raamatute kohta