2013

Sicherheitsgerichtete Echtzeitsysteme

Authors:

ISBN: 978-3-642-37297-1 (Print) 978-3-642-37298-8 (Online)

Table of contents (16 chapters)

  1. Front Matter

    Pages 1-17

  2. No Access

    Book Chapter

    Pages 1-27

    Grundlagen sicherheitsgerichteter Echtzeitsysteme

  3. No Access

    Book Chapter

    Pages 29-54

    Konzepte zur sicherheitsgerichteten Prozeßautomatisierung

  4. No Access

    Book Chapter

    Pages 55-73

    Hardware-Systeme zur sicheren Prozeßdatenverarbeitung

  5. No Access

    Book Chapter

    Pages 75-102

    Zweikanalige sicherheitsgerichtete Rechnersysteme

  6. No Access

    Book Chapter

    Pages 103-132

    Entwicklung sicherheitsgerichteter Software

  7. No Access

    Book Chapter

    Pages 133-160

    Software-Verifikation

  8. No Access

    Book Chapter

    Pages 161-192

    Quantitative Bewertung sicherheitsgerichteter Echtzeitsysteme

  9. No Access

    Book Chapter

    Pages 193-225

    Das inhärent sichere Funktionsplanparadigma

  10. No Access

    Book Chapter

    Pages 227-267

    Erstellung und Prüfung sicherheitsgerichteter Software

  11. No Access

    Book Chapter

    Pages 269-306

    Einige formale Methoden zur Programmverifikation

  12. No Access

    Book Chapter

    Pages 307-346

    Eine funktionsplanabbildende Prozeßrechnerarchitektur

  13. No Access

    Book Chapter

    Pages 347-383

    Fallstudien sicherheitsgerichteter programmierbarer elektronischer Systeme

  14. No Access

    Book Chapter

    Pages 385-457

    Unterbrechungsfreie asynchrone Echtzeitverarbeitung mit Zustandswiederherstellung zur Laufzeit

  15. No Access

    Book Chapter

    Pages 459-527

    Ein sicherheitsgerichteter Feldbus

  16. No Access

    Book Chapter

    Pages 529-564

    Die sicherheitsgerichtete Echtzeitprogrammiersprache HI-PEARL

  17. No Access

    Book Chapter

    Pages 565-595

    Ablaufplanung und Zuteilbarkeitsanalyse für den Mehrprozeßbetrieb

  18. Back Matter

    Pages 597-601