Search: id:"swepub:oai:DiVA.org:mdh-7854" >
Static WCET Analysi...
Static WCET Analysis Based on Abstract Interpretation and Counting of Elements
-
- Bygde, Stefan, 1980- (author)
- Mälardalens högskola,Akademin för innovation, design och teknik,Programming languages
-
- Lisper, Björn, Professor (thesis advisor)
- Mälardalens högskola,Akademin för innovation, design och teknik
-
- Ermedahl, Andreas, Docent (thesis advisor)
- Mälardalens högskola,Akademin för innovation, design och teknik
-
show more...
-
- Gustafsson, Jan, Docent (thesis advisor)
- Mälardalens högskola,Akademin för innovation, design och teknik
-
- Sagonas, Konstantinos, Docent (opponent)
- Uppsala Universitet,
-
- Nilsson, Ulf, Professor (opponent)
- Linköpings Universitet, Department of Computer and Information Science
-
show less...
-
(creator_code:org_t)
- ISBN 9789186135553
- Västerås : Mälardalen University, 2010
- English.
- Related links:
-
https://mdh.diva-por... (primary) (Raw object)
-
show more...
-
https://urn.kb.se/re...
-
show less...
Abstract
Subject headings
Close
- In a real-time system, it is crucial to ensure that all tasks of the system holdtheir deadlines. A missed deadline in a real-time system means that the systemhas not been able to function correctly. If the system is safety critical, this canlead to disaster. To ensure that all tasks keep their deadlines, the Worst-CaseExecution Time (WCET) of these tasks has to be known. This can be done bymeasuring the execution times of a task, however, this is inflexible, time consumingand in general not safe (i.e., the worst-casemight not be found). Unlessthe task is measured with all possible input combinations and configurations,which is in most cases out of the question, there is no way to guarantee that thelongest measured time actually corresponds to the real worst case.Static analysis analyses a safe model of the hardware together with thesource or object code of a program to derive an estimate of theWCET. This estimateis guaranteed to be equal to or greater than the real WCET. This is doneby making calculations which in all steps make sure that the time is exactlyor conservatively estimated. In many cases, however, the execution time of atask or a program is highly dependent on the given input. Thus, the estimatedworst case may correspond to some input or configuration which is rarely (ornever) used in practice. For such systems, where execution time is highly inputdependent, a more accurate timing analysis which take input into considerationis desired.In this thesis we present a framework based on abstract interpretation andcounting of possible semantic states of a program. This is a general methodof WCET analysis, which is language independent and platform independent.The two main applications of this framework are a loop bound analysis and aparametric analysis. The loop bound analysis can be used to quickly find upperbounds for loops in a program while the parametric framework provides aninput-dependent estimation of theWCET. The input-dependent estimation cangive much more accurate estimates if the input is known at run-time.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- parametric WCET analysis
- program analysis
- abstract interpretation
- Computer science
- Datalogi
- Computer Science
- datavetenskap
Publication and Content Type
- vet (subject category)
- lic (subject category)
Find in a library
To the university's database
- By the author/editor
-
Bygde, Stefan, 1 ...
-
Lisper, Björn, P ...
-
Ermedahl, Andrea ...
-
Gustafsson, Jan, ...
-
Sagonas, Konstan ...
-
Nilsson, Ulf, Pr ...
- About the subject
-
- NATURAL SCIENCES
-
NATURAL SCIENCES
-
and Computer and Inf ...
-
and Computer Science ...
- By the university
-
Mälardalen University