https://www.mdu.se/

mdu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • 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 (Engelska)Ingår i: IEEE Transactions on Computers, ISSN 0018-9340, E-ISSN 1557-9956, Vol. 59, nr 12, s. 1520-1532Artikel i tidskrift (Refereegranskat) 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.

Ort, förlag, år, upplaga, sidor
2010. Vol. 59, nr 12, s. 1520-1532
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:mdh:diva-23818DOI: 10.1109/TC.2010.59ISI: 000282091200007Scopus ID: 2-s2.0-77957579293OAI: oai:DiVA.org:mdh-23818DiVA, id: diva2:682357
Tillgänglig från: 2013-12-27 Skapad: 2013-12-19 Senast uppdaterad: 2023-03-28Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Bate, Iain

Sök vidare i DiVA

Av författaren/redaktören
Bate, Iain
I samma tidskrift
IEEE Transactions on Computers
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 42 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf