On the analysis of the timing behaviour of time randomised caches
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/105978
Tipus de documentProjecte Final de Màster Oficial
Data2016-07-07
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
Time Randomised caches (TRc), which can be implemented at hardware level or with
software means on conventional deterministic cache designs, have been proposed for
real-time systems as key enablers for Probabilistic Timing Analysis (PTA) and in
particular its measurement-based variant: Measurement-Based Probabilistic Timing
Analysis (MBPTA). A key parameter of MBPTA is the number of runs required to
ensure representativity of the execution time measurements taken at analysis time
with respect to execution times that can occur during system deployment, so that
MBPTA can trustworthily be applied.
In this thesis, we propose several methods to determine whether the number of
observations taken at analysis, as part of the normal MBPTA application process,
capture the cache events significantly impacting execution time and Worst-Case Execution
Time (WCET). If this is not the case, our techniques provide the user with the
number of extra runs required so that cache events are captured ensuring trustworthiness
on MBPTA provided WCET estimates. Our techniques have been evaluated
using a set of synthetic benchmarks and a real avionics application.
MatèriesReal-time data processing, Computer architecture, Temps real (Informàtica), Arquitectura d'ordinadors
TitulacióMÀSTER UNIVERSITARI EN INNOVACIÓ I RECERCA EN INFORMÀTICA (Pla 2012)
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
118462.pdf | 928,8Kb | Visualitza/Obre |