Sicherheitsgerichtete Echtzeitsysteme

Ein Regelwerk zur Konstruktion sicherheitsgerichteter Echtzeitsysteme und die Basis für die weitere Entwicklung des Gebietes, da bisher wenig bekannte Ergebnisse sowie das immer drängendere Problem der Software-Korrektheit in den Vordergrund gestellt werden. Das Buch beginnt mit der Behandlung der Problemstellung sowie begrifflicher, methodischer und konzeptioneller Grundlagen sicherheitsgerichteter Echtzeitsysteme. Architekturen für sichere Hardware sowie Verfahren zur Erstellung möglichst fehlerfreier Software und zu deren Verifikation werden dargestellt, die dann auch quantitativ bewertet werden. Danach werden im wesentlichen Ergebnisse jüngster Forschungen vorgestellt.