Practical experiences of applying source-level WCET flow analysis to industrial code |
| |
Authors: | Björn Lisper Andreas Ermedahl Dietmar Schreiner Jens Knoop Peter Gliwa |
| |
Affiliation: | 1. School of Innovation, Design, and Engineering, M?lardalen University, 721 23, V?ster?s, Sweden 2. Institute of Computer Languages, Vienna University of Technology, 1040, Vienna, Austria 3. GLIWA GmbH embedded systems, Blütenstr. 20, 82362, Weilheim i.OB., Germany
|
| |
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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|