Intervals in Software Execution Cost Analysis

Timing and power consumption of embedded systems are state and input data dependent. Formal analysis of such dependencies leads to intervals rather than single values. These intervals depend on program properties, execution paths and states of processes, as well as on the target architecture. This paper presents an approach to analysis of process behavior using intervals. It improves 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.

• Type: Conference
• Year: 2000
• Where: ISSS
• Authors: Fabian Wolf, Rolf Ernst
• Keywords: ATM Cell Handler, Execution Paths, Formal Analysis, Hardware, ISSS 2000