mdh.sePublications
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
Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0001-6571-0175
Mälardalen University, School of Innovation, Design and Engineering.
2008 (English)In: OpenAccess Series in Informatics Volume 8, 2008, 2008Conference paper, Published paper (Refereed)
Abstract [en]

Static Worst-Case Execution Time (WCET) analysis derives upper bounds for the execution times of programs. Such bounds are crucial when designing and verifying real-time systems. A key component in static WCET analysis is to derive flow information, such as loop bounds and infeasible paths. We have previously introduced abstract execution (AE), a method capable of deriving very precise flow information. This paper present different merging techniques that can be used by AE for trading analysis time for flow information precision. It also presents a new technique, ordered merging, which may radically shorten AE analysis times, especially when analyzing large programs with many possible input variable values.

Place, publisher, year, edition, pages
2008.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-7220Scopus ID: 2-s2.0-84880087418ISBN: 978-393989710-1 (print)OAI: oai:DiVA.org:mdh-7220DiVA, id: diva2:237230
Conference
8th International Workshop on Worst-Case Execution Time Analysis, WCET 2008; Prague; Czech Republic; 1 July 2008 through 1 July 2008
Note

Conference homepage: http://www.artist-embedded.org/artist/WCET-08.html

Available from: 2009-09-25 Created: 2009-09-25 Last updated: 2013-12-03Bibliographically approved

Open Access in DiVA

No full text in DiVA

Scopus

Authority records BETA

Gustafsson, Jan

Search in DiVA

By author/editor
Gustafsson, JanErmedahl, Andreas
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 14 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