Flow Facts für WCEToptimierende Compiler
-
- Deutsch ausgewählt
49,00 €
inkl. gesetzl. MwSt.,
Lieferung nach Hause
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
11.12.2007
Verlag
VDMSeitenzahl
136
Maße (L/B/H)
24/17/0,8 cm
Gewicht
240 g
Sprache
Deutsch
ISBN
978-3-8364-4813-0
Die Korrektheit von Echtzeitsystemen hängt nicht nur von logisch richtigen
Ergebnissen sondern auch vom Zeitpunkt ihrer Berechnung ab. Analysatoren
zur Ermittlung oberer Schranken von Programmlaufzeiten (WCET) sind verfügbar,
benötigen aber Flow Facts, die vom Programmierer mit Bezug auf sein
optimiertes ausführbares Programm formuliert werden müssen, während 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 fehleranfällige und aufwändige Arbeit zu vermeiden,
modelliert der Autor Flow Facts beispielhaft für 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 müssen,
während der Compiler diese automatisch für eine WCET-Analyse verfügbar
macht. Dieses Buch richtet sich an Entwickler und Forscher im Bereich
(sicherheitskritischer) eingebetteter Systeme und an Entwickler von Compilern
für diese Systeme.
Ergebnissen sondern auch vom Zeitpunkt ihrer Berechnung ab. Analysatoren
zur Ermittlung oberer Schranken von Programmlaufzeiten (WCET) sind verfügbar,
benötigen aber Flow Facts, die vom Programmierer mit Bezug auf sein
optimiertes ausführbares Programm formuliert werden müssen, während 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 fehleranfällige und aufwändige Arbeit zu vermeiden,
modelliert der Autor Flow Facts beispielhaft für 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 müssen,
während der Compiler diese automatisch für eine WCET-Analyse verfügbar
macht. Dieses Buch richtet sich an Entwickler und Forscher im Bereich
(sicherheitskritischer) eingebetteter Systeme und an Entwickler von Compilern
für diese Systeme.
Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung
Kurze Frage zu unserer Seite
Vielen Dank für dein Feedback
Wir nutzen dein Feedback, um unsere Produktseiten zu verbessern. Bitte habe Verständnis, dass wir dir keine Rückmeldung geben können. Falls du Kontakt mit uns aufnehmen möchtest, kannst du dich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice