Title
Fitting processor architectures for measurement-based probabilistic timing analysis.
Abstract
The pressing market demand for competitive performance/cost ratios compels Critical Real-Time Embedded Systems industry to employ feature-rich hardware. The ensuing rise in hardware complexity however makes worst-case execution time (WCET) analysis of software programs - which is often required, especially for programs at the highest levels of integrity - an even harder challenge. State-of-the-art WCET analysis techniques are hampered by the soaring cost and complexity of obtaining accurate knowledge of the internal operation of advanced processors and the difficulty of relating data obtained from measurement observations with reliable worst-case behaviour. This frustrating conundrum calls for novel solutions, with low intrusiveness on development practice. Measurement-Based Probabilistic Timing Analysis (MBPTA) techniques offer the opportunity to simultaneously reduce the cost of acquiring the knowledge needed for computing reliable WCET bounds and gain increased confidence in the representativeness of measurement observations. This paper describes the changes required in the design of several high-performance features - massively used in modern processors - to meet MBPTA requirements.
Year
DOI
Venue
2016
10.1016/j.micpro.2016.07.014
Microprocessors and Microsystems - Embedded Hardware Design
Keywords
Field
DocType
Worst-case execution time,Processor architecture,Cache memories,Probabilistic analysis,Time randomization
Worst-case execution time,Computer science,CPU cache,Parallel computing,Representativeness heuristic,Real-time computing,Probabilistic analysis of algorithms,Software,Probabilistic timing analysis,Supply and demand,Microarchitecture
Journal
Volume
Issue
ISSN
47
PB
0141-9331
Citations 
PageRank 
References 
7
0.50
0
Authors
8
Name
Order
Citations
PageRank
Leonidas Kosmidis141828.48
Eduardo Quiñones252831.18
Jaume Abella3104676.34
Tullio Vardanega463354.28
Carles HernáNdez517626.56
Andrea Gianarro670.50
I. Broster715510.40
Francisco J. Cazorla8130495.50