Efficient detection and exploitation of infeasible paths for software timing analysis

Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and architectural modeling. Path analysis is complex due to the inherent difficulty in detecting and exploiting infeasible paths in a program's control flow graph. In this paper, we propose an efficient method to exploit infeasible path information for WCET estimation without resorting to exhaustive path enumeration. We demonstrate the efficiency of our approach for some real-life control-intensive applications. Categories and Subject Descriptors C.3 [Special-purpose and Application-based Systems]: Real-time and embedded systems; D.2.8 [Software Engineering]: Metrics--performance measures General Terms Measurement, Performance Keywords WCET analysis, infeasible path detection

• Type: Conference
• Year: 2006
• Where: DAC
• Authors: Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen
• Keywords: DAC 2006, Design Automation, Infeasible Path Detection, Infeasible Path Information, Static WCET Estimation