mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Deriving the Worst-Case Execution Time Input Values
Mälardalens högskola, Akademin för innovation, design och teknik.
Mälardalens högskola, Akademin för innovation, design och teknik.
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0001-6571-0175
Mälardalens högskola, Akademin för innovation, design och teknik.
2009 (engelsk)Inngår i: 21st Euromicro Conference of Real-Time Systems, (ECRTS'09), Dublin, Ireland, 2009, s. 45-54Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

A Worst-Case Execution Time (WCET) analysis derives upper bounds for execution times of programs. Such bounds are crucial when designing and verifying real-time systems. A major problem with today's WCET analysis approaches is that there is no feedback on the particular values of the input variables that cause the program's WCET. However, this is important information for the real-time system developer. We present a novel approach to overcome this problem. In particular, we present a method, based on a combination of input-sensitive static WCET analysis and systematic search over the value space of the input variables, to derive the input value combination that causes the WCET. We also present several different approaches to speed up the search. Our evaluations show that the WCET input values can be relatively quickly derived for many type of programs, even for program with large input value spaces. We also show that the WCET estimates derived using the WCET input values often are much tighter than the WCET estimates derived when all possible input value combinations are taken into account.

sted, utgiver, år, opplag, sider
Dublin, Ireland, 2009. s. 45-54
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-8929DOI: 10.1109/ECRTS.2009.32ISI: 000272075200005Scopus ID: 2-s2.0-70449592119ISBN: 978-0-7695-3724-5 (tryckt)OAI: oai:DiVA.org:mdh-8929DiVA, id: diva2:301490
Konferanse
21st Euromicro Conference on Real-Time Systems Location: Dublin, IRELAND Date: JUL 01-03, 2009
Tilgjengelig fra: 2010-03-03 Laget: 2010-03-03 Sist oppdatert: 2013-12-03bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Gustafsson, Jan

Søk i DiVA

Av forfatter/redaktør
Ermedahl, AndreasFredriksson, JohanGustafsson, JanAltenbernd, Peter
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 31 treff
RefereraExporteraLink to record
Permanent link

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