DMCA
On the Difficulty of Building a Precise Timing Model for Real-Time Programming (2007)
Cached
Download Links
| Citations: | 3 - 3 self |
BibTeX
@MISC{Kadlec07onthe,
author = {Albrecht Kadlec and Raimund Kirner},
title = {On the Difficulty of Building a Precise Timing Model for Real-Time Programming },
year = {2007}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
For real-time computing it is important to know the worstcase execution time (WCET) of all time-critical software operations in order to ensure timeliness of the system. The calculation of a precise upper bound of the WCET relies on the availability of an adequate timing model of the target hardware. Within this article we explore the different mechanisms of modern processors that lead to complex timing models. We explore the different types of memory elements within a processor that resemble the state of the processor. Further, we compare the compile-time knowledge and run-time knowledge and discuss the consequences of offline (compiler) and online (hardware) code optimization. The main consequence of this hardware exploration is that real-time computing needs co-design of compilation, timing analysis, and processor optimizations to improve temporal predictability of the system.
Keyphrases
precise timing model real-time programming main consequence wcet relies hardware exploration modern processor compile-time knowledge adequate timing model memory element precise upper bound code optimization time-critical software operation processor optimization run-time knowledge different type complex timing model worstcase execution time different mechanism need co-design temporal predictability target hardware
