On the assessment of probabilistic WCET estimates reliability for arbitrary programs

Measurement-Based Probabilistic Timing Analysis (MBPTA) has been shown to be an industrially viable method to estimate the Worst-Case Execution Time (WCET) of real-time programs running on processors including several high-performance features. MBPTA requires hardware/software support so that progra...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:EURASIP journal on embedded systems Ročník 2017; číslo 1
Hlavní autori: Milutinovic, Suzana, Abella, Jaume, Cazorla, Francisco J.
Médium: Journal Article Publikácia
Jazyk:English
Vydavateľské údaje: Cham Springer International Publishing 11.04.2017
Predmet:
Circuits and Systems
Control Structures and Microprogramming
Electronic Circuits and Devices
Engineering
Informàtica
Informàtica teòrica
Probabilistic timing analysis
Programació en temps real
Real time
Real-Time Issues and Challenges for Cyber-Physical Systems
Real-time programming
Safety
Signal,Image and Speech Processing
Verification
WCET
Àrees temàtiques de la UPC
Probabilistic timing analysis
Verification
WCET
Safety
Real time
ISSN:1687-3963, 1687-3955, 1687-3963
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:Measurement-Based Probabilistic Timing Analysis (MBPTA) has been shown to be an industrially viable method to estimate the Worst-Case Execution Time (WCET) of real-time programs running on processors including several high-performance features. MBPTA requires hardware/software support so that program’s execution time, and so its WCET, has a probabilistic behaviour and can be modelled with probabilistic and statistic methods. MBPTA also requires that those events with high impact on execution time are properly captured in the ( R ) runs made at analysis time. Thus, a representativeness argument is needed to provide evidence that those events have been captured. This paper addresses the MBPTA representativeness problems caused by set-associative caches and presents a novel representativeness validation method (ReVS) for cache placement. Building on cache simulation, ReVS explores the probability and impact (miss count) of those cache placements that can occur during operation. ReVS determines the number of runs R ′ , which can be higher than R , such that those cache placements with the highest impact are effectively observed in the analysis runs, and hence, MBPTA can be reliably applied to estimate the WCET.
ISSN:1687-3963
1687-3955
1687-3963
DOI:10.1186/s13639-017-0076-8