Overview
- 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
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (16 chapters)
-
Front Matter
-
Back Matter
Keywords
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
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