A Simple and Efficient Fully Automatic Worst-Case Execution Time Analysis for Model-Based Application Development

Embedded systems typically have to fulfill certain real-time constraints. Worst-case execution time analysis (WCET) has to be done to reason about the timing behaviour of those systems. Current techniques for static WCET analysis tools are not mature enough to be used for modern processors in an industrialstrength environment. In this paper we present a WCET analysis approach that allows to calculate the WCET of modern processors automatically. The approach exploits additional knowledge about the code structure in application specific domains in combination with an hybrid analysis method. The hierarchical application development environment MATLAB/Simulink has been selected as an example for such application specific domains for WCET analysis.

[1]  Jakob Engblom,et al.  Pipeline timing analysis using a trace-driven simulator , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).

[2]  Alan Burns,et al.  Writing temporally predictable code , 2002, Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002).

[3]  Roland Lang,et al.  Integrating WCET Analysis into a Matlab/Simulink Simulation Model 1 2 3 , 2000 .

[4]  Peter P. Puschner,et al.  Computing Maximum Task Execution Times — A Graph-Based Approach , 2004, Real-Time Systems.

[5]  John Paul Shen,et al.  Calibration of Microprocessor Performance Models , 1998, Computer.

[6]  Chang Yun Park.  Predicting program execution times by analyzing static and dynamic program paths , 2005, Real-Time Systems.

[7]  Peter Puschner.  Is Worst-Case Execution-Time Analysis a Non-Problem? — Towards New Software and Hardware Architectures , 2002 .

[8]  Per Stenström,et al.  Integrating Path and Timing Analysis Using Instruction-Level Simulation Techniques , 1998, LCTES.

[9]  Raimund Kirner,et al.  Timing analysis of optimised code , 2003 .

[10]  Raimund Kirner,et al.  Transformation of path information for WCET analysis during compilation , 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.

[11]  Roland Lang,et al.  Fully automatic worst-case execution time analysis for MATLAB/Simulink models , 2002, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002.