Sicherheitsgerichtete Echtzeitsysteme

Wolfgang A. Halang, Rudolf M. Konakovsky (Autoren)

Buch | Hardcover

XVII, 601 Seiten

2013 | 2., vollst. überarb. Aufl. 2013
Springer Berlin (Verlag)
978-3-642-37297-1 (ISBN)

Infos

Anhand der Grundlagen von sicherheitsgerichteten Echtzeitsystemen führen die Autoren in die Logik der Sicherheitstechnik ein. Sie erörtern Hardwarearchitekturen und Softwareprogrammierung, aber auch aktuelle Forschung z. B. zu unkonventionellen Architekturen.

Autor

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.

Inhalt

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.

Produkt-Details

• Erscheint lt. Verlag: 16.7.2013
• Zusatzinfo: XVII, 601 S. 238 Abb.
• Verlagsort: Berlin
• Sprache: deutsch
• Maße: 168 x 240 mm
• Gewicht: 1166 g
• Themenwelt: Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
• Themenwelt: Technik ► Maschinenbau
• Schlagworte: Automatisierungstechnik • Echtzeitsysteme • Echtzeit-Verarbeitung • Eingebettete Systeme • PEARL • programmierbare elektronische Systeme (PES) • Prozessautomatisierung • Prozessdatenverarbeitung • Sicherheit
• ISBN-10: 3-642-37297-X / 364237297X
• ISBN-13: 978-3-642-37297-1 / 9783642372971
• Zustand: Neuware