https://www.mdu.se/

mdu.sePublications
Planned maintenance
A system upgrade is planned for 10/12-2024, at 12:00-13:00. During this time DiVA will be unavailable.
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Practical experiences of applying source-level WCET flow analysis to industrial code
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. (IS)ORCID iD: 0000-0001-5297-6548
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. (IS)
Vienna University of Technology.
Vienna University of Technology.
Show others and affiliations
2013 (English)In: International Journal on Software Tools for Technology Transfer, ISSN 1433-2779, E-ISSN 1433-2787, Vol. 15, no 1, p. 53-63Article in journal (Refereed) Published
Abstract [en]

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.

Place, publisher, year, edition, pages
2013. Vol. 15, no 1, p. 53-63
Keywords [en]
Embedded software, Source-level analysis, Static analysis, WCET analysis
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-18231DOI: 10.1007/s10009-012-0255-9Scopus ID: 2-s2.0-84872976866OAI: oai:DiVA.org:mdh-18231DiVA, id: diva2:605766
Projects
ALL-TIMESWorst-Case Execution Time Analysis of Parallel SystemsAvailable from: 2013-02-15 Created: 2013-02-15 Last updated: 2024-01-17Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Lisper, Björn

Search in DiVA

By author/editor
Lisper, BjörnErmedahl, Andreas
By organisation
Embedded Systems
In the same journal
International Journal on Software Tools for Technology Transfer
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 48 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf