https://www.mdu.se/

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
Parametric WCET Analysis
Mälardalens högskola, Akademin för innovation, design och teknik. (Programming Languages)ORCID-id: 0000-0001-9341-4031
2013 (engelsk)Doktoravhandling, monografi (Annet vitenskapelig)
Abstract [en]

In a real-time system, it is crucial to ensure that all tasks of the system hold their deadlines. A missed deadline in a real-time system means that the system has not been able to function correctly. If the system is safety critical, this could potentially lead to disaster. To ensure that all tasks keep their deadlines, the Worst-Case Execution Time (WCET) of these tasks has to be known.

Static analysis analyses a safe model of the hardware together with the source or object code of a program to derive an estimate of the WCET. This estimate is guaranteed to be equal to or greater than the real WCET. This is done by making calculations which in all steps make sure that the time is exactly or conservatively estimated. In many cases, however, the execution time of a task or a program is highly dependent on the given input. Thus, the estimated worst case may correspond to some input or configuration which is rarely (or never) used in practice. For such systems, where execution time is highly input dependent, a more accurate timing analysis which take input into consideration is desired.

In this thesis we present a method based on abstract interpretation and counting of semantic states of a program that gives a WCET in terms of some input to the program. This means that the WCET is expressed as a formula of the input rather than a constant. This means that once the input is known, the actual WCET may be more accurate than the absolute and global WCET. Our research also investigate how this analysis can be safe when arithmetic operations causes integers to wrap-around, where the common assumption in static analysis is that variables can take the value of any integer. Our method has been implemented as a prototype and as a part of a static WCET analysis tool in order to get experience with the method and to evaluate the different aspects. Our method shows that it is possible to obtain very complex and detailed information about the timing of a program, given its input.

sted, utgiver, år, opplag, sider
Västerås: Mälardalen University , 2013. , s. 167
Serie
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 138
Emneord [en]
WCET Analysis, parametric WCET Analysis, WCET, Timing
HSV kategori
Forskningsprogram
datavetenskap
Identifikatorer
URN: urn:nbn:se:mdh:diva-18770ISBN: 978-91-7485-109-0 (tryckt)OAI: oai:DiVA.org:mdh-18770DiVA, id: diva2:618332
Disputas
2013-06-04, Delta, Mälardalens högskola, Västerås, 13:00 (engelsk)
Opponent
Veileder
Tilgjengelig fra: 2013-04-29 Laget: 2013-04-26 Sist oppdatert: 2018-01-11bibliografisk kontrollert

Open Access i DiVA

fulltext(2653 kB)1228 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 2653 kBChecksum SHA-512
71b86e059a8b1136e20888298124d5dde47d03d55fc279f9d463d304034b2b8d888fd6e8f3524a250abc193fa731bf4d7ae3a36d615a4dae441a7ab62dd97adc
Type fulltextMimetype application/pdf

Person

Bygde, Stefan

Søk i DiVA

Av forfatter/redaktør
Bygde, Stefan
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 1228 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 901 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