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
Accurate Determination of Loop Iterations for Worst-Case Execution Time Analysis
University of York.
University of York. (IS)ORCID iD: 0000-0003-2415-8219
University of York.
2010 (English)In: IEEE Transactions on Computers, ISSN 0018-9340, Vol. 59, no 12, 1520-1532 p.Article in journal (Refereed) Published
Abstract [en]

Determination of accurate estimates for the Worst-Case Execution Time of a program is essential for guaranteeing the correct temporal behavior of any Real-Time System. Of particular importance is tightly bounding the number of iterations of loops in the program or excessive undue pessimism can result. This paper presents a novel approach to determining the number of iterations of a loop for such analysis. Program traces are collected and analyzed allowing the number of loop executions to be parametrically determined safely and precisely under certain conditions. The approach is mathematically proved to be safe and its practicality is demonstrated on a series of benchmarks.

Place, publisher, year, edition, pages
2010. Vol. 59, no 12, 1520-1532 p.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-23818DOI: 10.1109/TC.2010.59ISI: 000282091200007Scopus ID: 2-s2.0-77957579293OAI: oai:DiVA.org:mdh-23818DiVA: diva2:682357
Available from: 2013-12-27 Created: 2013-12-19 Last updated: 2014-06-17Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Bate, Iain
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 30 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