Paper Info
Title
Practical experiences of applying source-level WCET flow analysis to industrial code.
Abstract
Code-level timing analysis, such as worst-case execution time (WCET) analysis, usually takes place at the binary level. However, many program properties that are important for the analysis, such as constraints on possible program flows, are easier to derive at the source code level since this code contains much more information. Therefore, various source-level analyses can provide valuable support for timing analysis. However, source-level analysis is not always smoothly applicable in industrial settings. In this paper, we report on the experiences of applying source-level analysis to industrial code in the ALL-TIMES project: the promises, the pitfalls, and the workarounds that were developed. We also discuss various approaches to how the difficulties that were encountered can be tackled.
Year
DOI
Venue
2013
10.1007/s10009-012-0255-9
ISoLA
Keywords
Field
DocType
Static analysis, WCET analysis, Source-level analysis, Embedded software
Workaround,Software engineering,Computer science,Source code,Flow (psychology),Real-time computing,Static timing analysis,Execution time,Binary number
Journal
Volume
Issue
ISSN
15
1
1433-2787
ISBN
Citations 
PageRank 
3-642-16560-5
2
0.38
References 
Authors
15
5
Name
Order
Citations
PageRank
Björn Lisper157045.29
Andreas Ermedahl2150271.51
Dietmar Schreiner3185.14
Jens Knoop483874.76
Peter Gliwa551.19