A software tool for the timing analysis of embedded software

The presence of real-time software modules which strongly interact with specific hardware architectures is steadly growing in today embedded applications. New methods and tools are needed for the program analysis and validation of these designs. The timing analysis of software is an essential aspect because real-time requirements need to be validated and performance objectives could be missed if the software design does not fit with the hardware design. In this paper we describe a new timing analysis for software which is executed on architectures with a one-level instruction cache. The safeness of the timing estimates is guaranteed by the method and the accuracy can be traded with the processing time. The implementation details of the related software tool are reported and the practical use of the tool is shown by some experimental results.