Sicherheitsgerichtete Echtzeitsysteme

1. Grundlagen sicherheitsgerichteter Echtzeitsysteme
Wolfgang A. Halang, Rudolf M. Konakovsky

2. Konzepte zur sicherheitsgerichteten Prozeßautomatisierung
Wolfgang A. Halang, Rudolf M. Konakovsky

3. Hardware-Systeme zur sicheren Prozeßdatenverarbeitung
Wolfgang A. Halang, Rudolf M. Konakovsky

4. Zweikanalige sicherheitsgerichtete Rechnersysteme
Wolfgang A. Halang, Rudolf M. Konakovsky

5. Entwicklung sicherheitsgerichteter Software
Wolfgang A. Halang, Rudolf M. Konakovsky

6. Software-Verifikation
Wolfgang A. Halang, Rudolf M. Konakovsky

7. Quantitative Bewertung sicherheitsgerichteter Echtzeitsysteme
Wolfgang A. Halang, Rudolf M. Konakovsky

8. Das inhärent sichere Funktionsplanparadigma
Wolfgang A. Halang, Rudolf M. Konakovsky

9. Erstellung und Prüfung sicherheitsgerichteter Software
Wolfgang A. Halang, Rudolf M. Konakovsky

10. Einige formale Methoden zur Programmverifikation
Wolfgang A. Halang, Rudolf M. Konakovsky

11. Eine funktionsplanabbildende Prozeßrechnerarchitektur
Wolfgang A. Halang, Rudolf M. Konakovsky

12. Fallstudien sicherheitsgerichteter programmierbarer elektronischer Systeme
Wolfgang A. Halang, Rudolf M. Konakovsky

13. Unterbrechungsfreie asynchrone Echtzeitverarbeitung mit Zustandswiederherstellung zur Laufzeit
Wolfgang A. Halang, Rudolf M. Konakovsky

14. Ein sicherheitsgerichteter Feldbus
Wolfgang A. Halang, Rudolf M. Konakovsky

15. Die sicherheitsgerichtete Echtzeitprogrammiersprache HI-PEARL
Wolfgang A. Halang, Rudolf M. Konakovsky

16. Ablaufplanung und Zuteilbarkeitsanalyse für den Mehrprozeßbetrieb
Wolfgang A. Halang, Rudolf M. Konakovsky

Avainsanat: Engineering, Robotics and Automation, Software Engineering, Systems and Data Security