Sciweavers

Share
DAC
2006
ACM

Efficient detection and exploitation of infeasible paths for software timing analysis

10 years 1 months ago
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
Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, T
Added 13 Nov 2009
Updated 13 Nov 2009
Type Conference
Year 2006
Where DAC
Authors Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen
Comments (0)
books