Afhalen na 1 uur in een winkel met voorraad
Gratis thuislevering in België vanaf € 30
Ruim aanbod met 7 miljoen producten

Afhalen na 1 uur in een winkel met voorraad
Gratis thuislevering in België vanaf € 30
Ruim aanbod met 7 miljoen producten

Winkels

Verlanglijstje

Winkels

Verlanglijstje

Zoeken

Volg ons op

140 winkels

Wist je dat er in Vlaanderen voor iedereen een Standaard Boekhandel is binnen een straal van 7 km?

Vind hier een winkel

€ 54,36

+ 108 punten

Levertermijn 1 à 4 weken

Eenvoudig bestellen

Veilig betalen

Gratis thuislevering vanaf € 30 (via bpost)

Gratis levering in je Standaard Boekhandel

Omschrijving

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.