Sciweavers

Share
WORDS
2005
IEEE

Towards a Flow Analysis for Embedded System C Programs

10 years 4 months ago
Towards a Flow Analysis for Embedded System C Programs
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET analysis methods, relying on mathematical models of the software and hardware involved. This paper describes an approach to static flow analysis for deriving information on the possible execution paths of C programs. This includes upper bounds for loops, execution dependencies between different code parts and safe determination of possible pointer values. The method builds upon abstract interpretation, a classical program analysis technique, which is adopted to calculate flow information and to handle the specific properties of the C programming language.
Jan Gustafsson, Andreas Ermedahl, Björn Lispe
Added 25 Jun 2010
Updated 25 Jun 2010
Type Conference
Year 2005
Where WORDS
Authors Jan Gustafsson, Andreas Ermedahl, Björn Lisper
Comments (0)
books