Sicherheitsgerichtete Echtzeitsysteme

Description

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. Front Matter ....Pages I-XIX Grundlagen sicherheitsgerichteter Echtzeitsysteme (Wolfgang A. Halang, Rudolf M. Konakovsky)....Pages 1-40 Konzepte zur sicherheitsgerichteten Prozeßautomatisierung (Wolfgang A. Halang, Rudolf M. Konakovsky)....Pages 41-66 Hardware-Systeme zur sicheren Prozeßdatenverarbeitung (Wolfgang A. Halang, Rudolf M. Konakovsky)....Pages 67-84 Zweikanalige sicherheitsgerichtete Rechnersysteme (Wolfgang A. Halang, Rudolf M. Konakovsky)....Pages 85-113 Entwicklung sicherheitsgerichteter Software (Wolfgang A. Halang, Rudolf M. Konakovsky)....Pages 115-144 Software-Verifikation (Wolfgang A. Halang, Rudolf M. Konakovsky)....Pages 145-172 Dienstgüte und Bewertung sicherheitsgerichteter Echtzeitsysteme (Wolfgang A. Halang, Rudolf M. Konakovsky)....Pages 173-218 Das inhärent sichere Funktionsplanparadigma (Wolfgang A. Halang, Rudolf M. Konakovsky)....Pages 219-250 Erstellung und Prüfung sicherheitsgerichteter Software (Wolfgang A. Halang, Rudolf M. Konakovsky)....Pages 251-292 Einige formale Methoden zur Programmverifikation (Wolfgang A. Halang, Rudolf M. Konakovsky)....Pages 293-329 Statisch und dynamisch sichere Prozessoren (Wolfgang A. Halang, Rudolf M. Konakovsky)....Pages 331-358 Eine funktionsplanabbildende Prozeßrechnerarchitektur (Wolfgang A. Halang, Rudolf M. Konakovsky)....Pages 359-400 Fallstudien sicherheitsgerichteter programmierbarer elektronischer Systeme (Wolfgang A. Halang, Rudolf M. Konakovsky)....Pages 401-438 Zeitsignalverbreitung und rechnerinterne Zeitverwaltung (Wolfgang A. Halang, Rudolf M. Konakovsky)....Pages 439-476 Unterbrechungsfreie asynchrone Echtzeitverarbeitung mit Zustandswiederherstellung zur Laufzeit (Wolfgang A. Halang, Rudolf M. Konakovsky)....Pages 477-550 Ein sicherheitsgerichteter Feldbus (Wolfgang A. Halang, Rudolf M. Konakovsky)....Pages 551-619 Sicherheitsgerichete Echtzeitprogrammierung in PEARL (Wolfgang A. Halang, Rudolf M. Konakovsky)....Pages 621-666 Ablaufplanung und Zuteilbarkeitsanalyse für den Mehrprozessbetrieb (Wolfgang A. Halang, Rudolf M. Konakovsky)....Pages 667-703 Back Matter ....Pages 705-712