Static Timing Analysis of Embedded Software

This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of appropriate analysis tools. We study different performance metrics that need to be considered in this context and examine a range of techniques that have been proposed for analysis. Very broadly these can be classied into path analysis and system utilization analysis techniques. It is observed that these are interdependent and thus need to be considered together in any analysis framework