Automated WCET analysis based on program modes

Authors:
Meng-Luo Ji;Ji Wang;Shuhao Li;Zhi-Chang Qi
Affiliations:
National University of Defense Technology, China;National Laboratory for Parallel and Distributed Processing, China;National Laboratory for Parallel and Distributed Processing, China;National University of Defense Technology, China
Venue:
Proceedings of the 2006 international workshop on Automation of software test
Year:
2006

Citing 11
Cited 0

Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
Computer algorithms: introduction to design and analysis

Computer algorithms: introduction to design and analysis
Computer architecture (2nd ed.): a quantitative approach

Computer architecture (2nd ed.): a quantitative approach
Automated test data generation using an iterative relaxation method

SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Bounding Pipeline and Instruction Cache Performance

IEEE Transactions on Computers
Guest Editorial: A Review of Worst-Case Execution-TimeAnalysis

Real-Time Systems - Special issue on worst-case execution-time analysis
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Principles of Program Analysis

Principles of Program Analysis
Improved method to generate path-wise test data

Journal of Computer Science and Technology
Automatic scenario detection for improved WCET estimation

Proceedings of the 42nd annual Design Automation Conference
Portable worst-case execution time analysis using Java byte code

Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Program mode is a regular trajectory of the execution of a program that is determined by the values of its input variables. By exploiting program modes we may make Worst Case Execution Time (WCET) analysis more precise. This paper presents a novel method to automatically find program modes and calculate the WCET of programs. It consists of two phases. In phase one, we firstly automatically find the modes of a program by mode-relevant program slicing; then we compute the precondition for each mode using a path-wise test data generation method; after that, we can either conclude that it is an infeasible path, or get its precondition. In phase two, we calculate the WCET estimate of each given mode for modern RISC processors with caches and pipelines. The experiments are demonstrated to show the effectiveness of the method.