Intervals in Software Execution Cost Analysis

9 years 7 months ago
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.
Fabian Wolf, Rolf Ernst
Added 31 Jul 2010
Updated 31 Jul 2010
Type Conference
Year 2000
Where ISSS
Authors Fabian Wolf, Rolf Ernst
Comments (0)