Intervals in software execution cost analysis

The timing and power consumption of embedded systems are state and input data-dependent. A formal analysis of such dependencies leads to intervals rather than single values. These intervals depend on the program properties, execution paths and states of processes, as well as on the target architecture. This paper presents an approach to the analysis of process behaviour using intervals. It improves on previous work by exploiting program segments with single paths and by taking the execution context into account. The example of an ATM cell handler demonstrates significant improvements in analysis precision