Talks and Poster Presentations (with Proceedings-Entry):
P. Atanassov, P. Puschner, R. Kirner:
"Using Real Hardware to Create an Accurate Timing Model for Execution-Time Analysis";
Talk: IEEE Workshop on Real-Time Embedded Systems,
London, United Kingdom;
2001-12-03; in: "Proceedings of the IEEE International Workshop on Real-Time Embeeded Systems (in conjunction with 22nd IEEE RTSS 2001)",
In this paper we describe the construction of a safe and tight timing model of the Infineon C167 processor. We performed systematic measurements to assess the execution time of single instructions and of instruction sequences. All timing measurements were performed on real hardware, not on an emulator. The accurate timing model was implemented in a tool for static WCET analysis. The WCET estimates made by the tool for several benchmark programs are safe and remarkably tight.
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.