Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/96297
Author(s): Nuno Gaspar
Simão Melo de Sousa
Rogério Reis
Title: Timing analysis - from predictions to certificates
Issue Date: 2010
Abstract: In real-time systems, timing constraints must be satisfied in order to guarantee that deadlines will be met. The calculation of each task?s worst-case execution time (WCET) is a prerequisite for the schedu- lability analysis, and hence of paramount importance for real-time sys- tems. However, an accurate prediction can be difficult if the underlying hardware architecture possesses features like caches and pipelines. In this paper we report our work in progress project on ACCEPT, an Abstraction-Carrying CodE Platform for Timing validation. Our ap- proach counts on information gathered at source-code level (e.g. loop bounds, infeasible paths), defined by annotations that also express the intended timing behaviour. Furthermore, in the context of mobile code safety and in order to minimize the trusted computing base, we produce a checkable certificate whose validity entails compliance with the calcu- lated WCET.
Subject: Ciência de computadores, Ciências da computação e da informação
Computer science, Computer and information sciences
Scientific areas: Ciências exactas e naturais::Ciências da computação e da informação
Natural sciences::Computer and information sciences
URI: https://hdl.handle.net/10216/96297
Source: INFORUM 2010
Document Type: Artigo em Livro de Atas de Conferência Nacional
Rights: restrictedAccess
Appears in Collections:FCUP - Artigo em Livro de Atas de Conferência Nacional

Files in This Item:
File Description SizeFormat 
48311.pdf
  Restricted Access
Artigo410.68 kBAdobe PDF    Request a copy from the Author(s)


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.