Sökning: onr:"swepub:oai:DiVA.org:mdh-18231" >
Practical experienc...
Practical experiences of applying source-level WCET flow analysis to industrial code
-
- Lisper, Björn (författare)
- Mälardalens högskola,Inbyggda system,IS
-
- Ermedahl, Andreas (författare)
- Mälardalens högskola,Inbyggda system,IS
-
- Schreiner, Dietmar (författare)
- Vienna University of Technology
-
visa fler...
-
- Knoop, Jens (författare)
- Vienna University of Technology
-
- Gliwa, Peter (författare)
- Vienna University of Technology
-
visa färre...
-
(creator_code:org_t)
- 2012-07-24
- 2013
- Engelska.
-
Ingår i: International Journal on Software Tools for Technology Transfer. - : Springer Science and Business Media LLC. - 1433-2779 .- 1433-2787. ; 15:1, s. 53-63
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Nyckelord
- Embedded software
- Source-level analysis
- Static analysis
- WCET analysis
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas