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
Towards an automatic parametric WCET analysis
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0001-9341-4031
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0001-5297-6548
2008 (English)In: OpenAccess Ser. Informatics, 2008, p. 9-17Conference paper, Published paper (Refereed)
Abstract [en]

Static WCET analysis obtains a safe estimation of the WCET of a program. The timing behaviour of a program depends in many cases on input, and an analysis could take advantage of this information to produce a formula in input variables as estimation of the WCET, rather than a constant. A method to do this was suggested in [12]. We have implemented a working prototype of the method to evaluate its feasibility in practice. We show how to reduce complexity of the method and how to simplify parts of it to make it practical for implementation. The prototype implementation indicates that the method presented in [12] successfully can be implemented for a simple imperative language, mostly by using existing libraries.

Place, publisher, year, edition, pages
2008. p. 9-17
Series
OpenAccess Series in Informatics, ISSN 2190-6807 ; 8
Keyword [en]
Imperative languages, Input variables, Prototype implementations, Wcet analysis
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-21134Scopus ID: 2-s2.0-84880117446ISBN: 9783939897101 (print)OAI: oai:DiVA.org:mdh-21134DiVA, id: diva2:663042
Conference
8th International Workshop on Worst-Case Execution Time Analysis, WCET 2008, 1 July 2008 through 1 July 2008, Prague
Available from: 2013-11-08 Created: 2013-08-27 Last updated: 2014-06-25Bibliographically approved

Open Access in DiVA

No full text in DiVA

Scopus

Authority records BETA

Bygde, StefanLisper, Björn

Search in DiVA

By author/editor
Bygde, StefanLisper, Björn
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