Login

Halang, Wolfgang A.

Sicherheitsgerichtete Echtzeitsysteme

Halang, Wolfgang A. - Sicherheitsgerichtete Echtzeitsysteme, ebook

80,70€

Ebook, PDF with Adobe DRM
ISBN: 9783642372988
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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)
 
Publisher
Springer
Publication year
2013
Language
de
Edition
2
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9783642372988

Similar titles