Buchcover von Flow Facts für WCET-optimierende Compiler
Buchtitel:

Flow Facts für WCET-optimierende Compiler

Modellierung und Transformation

AV Akademikerverlag (15.06.2012 )

Books loader

Omni badge gutscheinfähig
ISBN-13:

978-3-639-42710-3

ISBN-10:
3639427106
EAN:
9783639427103
Buchsprache:
Deutsch
Klappentext:
Inhaltlich unveränderte Neuauflage. 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 ver­füg­bar, benötigen aber Flow Facts, die vom Programmierer mit Bezug auf sein opti­miertes 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 Pro­gramms – 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 Trans­formation 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.
Verlag:
AV Akademikerverlag
Webseite:
http://www.akademikerverlag.de/
von (Autor):
Daniel Schulte
Seitenanzahl:
140
Veröffentlicht am:
15.06.2012
Lagerbestand:
Lieferbar
Kategorie:
Informatik, EDV
Preis:
49,00 €
Stichworte:
Informatik, Programmierung, Eingebettete Systeme, Übersetzer, Compiler, WCET, Flow Facts, Echtzeitsysteme, Realzeitsysteme, Kontrollfluss

Books loader

Newsletter

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal Überweisung

  0 Produkte im Warenkorb
Warenkorb bearbeiten
Loading frontend
LOADING