Timing Analysis

Name: Timing Analysis
Brand: VDM Verlag
SKU: 9783639285802
Price: 48.47 EUR
Availability: InStock

From Predictions to Certificates

Autor: Nuno Gaspar

Jazyk:

Väzba: Brožovaná

Vydavateľ: VDM Verlag

Dostupnosť: U vydavateľa na objednávku

Odosielame za 17-27 dní

48.47 €

In real-time systems timing properties must be satisfied in order to guarantee that deadlines will b...

Informácie o knihe

Autor

Nuno Gaspar

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2010

Stránok

EAN

9783639285802

ISBN

3639285808

Enbook ID

06835726

Vydavateľ

VDM Verlag

Hmotnosť

150

Rozmery

152 x 229 x 6

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Timing Analysis

From Predictions to Certificates

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež