loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'02)
Writing Temporally Predictable Code
San Diego, California
January 07-January 09
ISBN: 0-7695-1576-2
Peter Puschner, Technische Universit?t Wien
Alan Burns, University of York
The Worst-Case Execution-Time Analysis (WCET Analysis) of program code for modern processors is a highly complex task. First, it involves path analysis, to identify and describe the possible execution paths through the code. Second, it models the worst-case timing of possible paths on the target hardware, where the characterization of the timing of sophisticated hardware features (e.g., instruction pipelines, caches, parallel execution units) and their interferences are non-trivial.This paper presents a programming paradigm that takes the complexity from WCET analysis. Program code written according to this paradigm only has a single execution path. Writing single-path code makes path analysis and thus WCET analysis trivial. The WCET of the single path is obtained by executing the code (necessarily on that single path) and logging the duration of this execution. To demonstrate that the single-path approach provides a universal solution to the WCET-analysis problem, the paper shows how every WCET-analyzable piece of code can be translated into single-path code.
Index Terms:
Real-Time Systems, Worst-Case Execution-Time Analysis, Predictability, Programming Paradigms, Computer Architectures
Citation:
Peter Puschner, Alan Burns, "Writing Temporally Predictable Code," words, pp.0085, Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.