Timing Analysis From Predictions to Certificates

Name: Timing Analysis
Author: Nuno Gaspar

Auteur: Nuno Gaspar

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Nuno Gaspar

Engels
Paperback
9783639285802
02 september 2010
96 pagina's

Alle productspecificaties

Samenvatting

In real-time systems timing properties must be satisfied in order to guarantee that deadlines will be met. In this context, the calculation of the worst-case execution time (WCET) is of paramount importance for schedulability analysis. However, this problem can be difficult if the underlying architecture possesses features like caches and pipelines. This book presents the necessary steps for the safe and precise WCET calculation, focused on the use of static analysis-based methods, and in the ARM architecture as target platform. Moreover, in order to ensure the correctness of our calculation to a program consumer, we produce a certificate whose validity entails compliance with the calculated WCET. This evidence permits to locally validate the calculated WCET, avoiding the need for a blind confidence on the producer. This book should be of interest to researchers and practitioners of real-time systems, or anyone else wondering about their inherent challenges.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Paperback
Oorspronkelijke releasedatum: 02 september 2010
Aantal pagina's: 96
Illustraties: Nee

Betrokkenen

Hoofdauteur: Nuno Gaspar
Hoofduitgeverij: Vdm Verlag

Overige kenmerken

Extra groot lettertype: Nee
Product breedte: 152 mm
Product hoogte: 6 mm
Product lengte: 229 mm
Studieboek: Ja
Verpakking breedte: 152 mm
Verpakking hoogte: 6 mm
Verpakking lengte: 229 mm
Verpakkingsgewicht: 150 g

EAN

EAN: 9783639285802

Je vindt dit artikel in

Categorieën: Computers & Informatica

Computertechnologie

Informatica

Boeken
Boek, ebook of luisterboek?: Boek
Taal: Engels
Beschikbaarheid: Leverbaar
Studieboek of algemeen: Studieboeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.