Flow Facts fur WCET-optimierende Compiler

Inhaltlich unvernderte Neuauflage. Die Korrektheit von Echtzeitsystemen hngt nicht nur von logisch richtigen Ergebnissen sondern auch vom Zeitpunkt ihrer Berechnung ab. Analysatoren zur Ermittlung oberer Schranken von Programmlaufzeiten (WCET) sind verfgbar, bentigen aber Flow Facts, die vom Programmierer mit Bezug auf sein optimiertes ausfhrbares Programm formuliert werden mssen, whrend er selbst jedoch in einer Hochsprache wie C arbeitet. Notwendig wird daher eine manuelle bersetzung dieser Flow Facts, bei der jede Modifizierung des Programms - z.B. durch Optimierungen im Compiler - Anpassungen notwendig machen kann. Um diese fehleranfllige und aufwndige Arbeit zu vermeiden, modelliert der Autor Flow Facts beispielhaft fr einen WCET-optimierenden Compiler und stellt verschiedene Techniken zu deren automatischen Transformation in diesem vor. Der Programmierer wird somit in die Lage versetzt, lediglich Flow Facts auf Ebene seiner Hochsprache ermitteln zu mssen, whrend der Compiler diese automatisch fr eine WCET-Analyse verfgbar macht. Dieses Buch richtet sich an Entwickler und Forscher im Bereich (sicherheitskritischer) eingebetteter Systeme und an Entwickler von Compilern fr diese Systeme.