Halang, Wolfgang A.
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
Keywords: Engineering, Robotics and Automation, Software Engineering, Systems and Data Security
- Author(s)
- Halang, Wolfgang A.
- Konakovsky, Rudolf M.
- Publisher
- Springer
- Publication year
- 2013
- Language
- de
- Edition
- 2
- Page amount
- 17 pages
- Category
- Technology, Energy, Traffic
- Format
- Ebook
- eISBN (PDF)
- 9783642372988