Execution cost interval refinement in static software analysis

✍ Scribed by Fabian Wolf; Rolf Ernst

• Book ID: 104425953
• Publisher: Elsevier Science
• Year: 2001
• Tongue: English
• Weight: 696 KB
• Volume: 47
• Category: Article
• ISSN: 1383-7621
• DOI: 10.1016/s1383-7621(00)00053-9

✦ Synopsis

Embedded system software timing and power consumption or, in general, execution costs are state-and input-data dependent. Therefore, formal analysis of such dependencies leads to execution cost intervals rather than single values. These intervals depend on system concurrency, execution paths and process states, as well as on target architecture properties. This paper presents an approach to modeling and analysis of process behavior using intervals. Unlike other static software analysis approaches, it considers program properties and the execution context, i.e. the current state and input of a process. The example of an ATM switch component demonstrates signi®cant improvements in analysis precision.