| 036a | XA-DE |
| 037b | ger |
| 077a | 393787575 Druckausg.: ‡Halang, Wolfgang A., 1951 - : Sicherheitsgerichtete Echtzeitsysteme |
| 087q | 978-3-642-37297-1 |
| 100 | Halang, Wolfgang A. |
| 104b | Konakovsky, Rudolf M. |
| 331 | Sicherheitsgerichtete Echtzeitsysteme |
| 403 | 2., vollst. überarb. Aufl. 2013 |
| 410 | Berlin, Heidelberg |
| 412 | Springer Vieweg |
| 425 | 2013 |
| 425a | 2013 |
| 433 | Online-Ressource (XVII, 601 S. 238 Abb, online resource) |
| 451b | SpringerLink. Bücher |
| 517 | Grundlagen sicherheitsgerichteter EchtzeitsystemeKonzepte 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. |
| 527 | Druckausg.: ‡Halang, Wolfgang A., 1951 - : Sicherheitsgerichtete Echtzeitsysteme |
| 540a | ISBN 978-3-642-37298-8 |
| 700 | |TEC004000 |
| 700 | |TJFM1 |
| 700 | |TEC037000 |
| 700b | |629.892 |
| 700c | |TJ210.2-211.495 |
| 700c | |T59.5 |
| 700g | 127098828X ZQ 5000 |
| 700g | 1270877534 ST 230 |
| 700g | 1272613682 ST 234 |
| 700g | 1271479044 ST 267 |
| 700g | 1271478781 ZQ 5450 |
| 700g | 1271567695 ZQ 6200 |
| 750 | 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. |
| 753 | 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. |
| 902s | 20996796X Prozessautomation |
| 902s | 20962695X Echtzeitsystem |
| 902s | 211147273 Prozessleittechnik |
| 902s | 209738596 Betriebssicherheit |
| 902s | 209502258 Softwareentwicklung |
| 902s | 209130075 Zuverlässigkeit |
| 907s | 20996796X Prozessautomation |
| 907s | 20962695X Echtzeitsystem |
| 907s | 211147273 Prozessleittechnik |
| 907s | 209738596 Betriebssicherheit |
| 907s | 209502258 Softwareentwicklung |
| 907s | 209130075 Zuverlässigkeit |
| 912s | 20962695X Echtzeitsystem |
| 912s | 209502541 Speicherprogrammierte Steuerung |
| 912s | 209130075 Zuverlässigkeit |
| 012 | 392247569 |
| 081 | Halang, Wolfgang A.: Sicherheitsgerichtete Echtzeitsysteme |
| 100 | Springer E-Book |
| 125a | Elektronischer Volltext - Campuslizenz |
| 655e | $uhttp://dx.doi.org/10.1007/978-3-642-37298-8 |
