Extreme Value Theory for Estimating Task Execution Time Bounds: A Careful Look

Lima, George; Dias, Dario; Barros, Edna

doi:10.1109/ecrts.2016.20

Cited by 52 publications

(62 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Moreover, we observed that the tail distributions of this class of programs are properly described by a Gumbel. This contrasts with [13] whose author concludes that the Gumbel family does not always provide a reliable model, resulting in low-quality WCET estimates. In fact, those conclusions were drawn outside of the WCET finiteness and existence assumptions, considering a class of programs that can only be analysed parametrically.…”

Section: Tail Distributions and Pwcet Estimationmentioning

confidence: 52%

“…It has been suggested that randomization alone does not suffice to enable the use of MBPTA [13]. As already observed, while randomization might not cure degenerate distributions, this is not a problem as long as the collected observations are truly representative.…”

Section: B Limits Of Randomizationmentioning

confidence: 80%

“…the cache) makes their jitter MBPTA-compliant. However, doing that on a single resource does not cover the jitter of other resources: for example, [13] notes that randomizing the cache does not cover the jitter caused by FPU or by multiple program paths. Instead, all SoJ have to be studied individually and a solution has to be proposed to address each of them.…”

Section: B Limits Of Randomizationmentioning

confidence: 99%

“…The adaptability trait has been criticized too, on the argument that EVT-based analysis would not apply to all classes of software programs [13]. The critique showed that EVT was unable to produce good-fit distributions even for programs that exhibited sufficient execution-time variability, and was not applicable at all for those that had near-constant executiontime behaviour.…”

Section: Introductionmentioning

confidence: 99%

“…The trustworthiness of EVT has been challenged noting that the quality of its results critically reflects the quality of its inputs (for data, coverage, state control) [13], [14], with poor inputs yielding wholly unsound probability models. This should not surprise in fact, as the application of EVT to observations over user-controlled program runs instead of uncontrolled (e.g., natural) phenomena needs very careful attention and adaptation.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

On uses of extreme value theory fit for industrial-quality WCET analysis

Milutinović

Mezzetti

Abella

et al. 2017

2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES)

View full text Add to dashboard Cite

Abstract-Over the last few years, considerable interest has arisen in measurement-based probabilistic timing analysis. The term MBPTA has been used to indistinctly refer to a variety of different applications of Extreme Value Theory (EVT) to the timing analysis problem. The successful application of MBPTA techniques to a score of case studies has not fully dispelled the concerns that industrial stakeholders had with the quality of the computed bounds, hence ultimately with their industrial viability. Placing focus on the MBPTA methods and techniques developed in the PROARTIS and PROXIMA projects, collectively referred to as proMBPTA, we discuss the main misconceptions and pitfalls that can prevent a sound application of EVT-based WCET analysis. Using a combination of arguments and support examples, we show that proMBPTA is a rigorous process, fully amenable to sound and sustainable industrial use.

show abstract

Section: Tail Distributions and Pwcet Estimationmentioning

confidence: 52%

Section: B Limits Of Randomizationmentioning

confidence: 80%

Section: B Limits Of Randomizationmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

On uses of extreme value theory fit for industrial-quality WCET analysis

Milutinović

Mezzetti

Abella

et al. 2017

2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES)

View full text Add to dashboard Cite

show abstract

Software Time Reliability in the Presence of Cache Memories

Milutinović

Abella

Agirre

et al. 2017

Reliable Software Technologies – Ada-Europe 2017

View full text Add to dashboard Cite

Abstract. The use of caches challenges measurement-based timing analysis (MBTA) in critical embedded systems. In the presence of caches, the worst-case timing behavior of a system heavily depends on how code and data are laid out in cache. Guaranteeing that test runs capture, and hence MBTA results are representative of, the worst-case conflictive cache layouts, is generally unaffordable for end users. The probabilistic variant of MBTA, MBPTA, exploits randomized caches and relieves the user from the burden of concocting layouts. In exchange, MBPTA requires the user to control the number of runs so that a solid probabilistic argument can be made about having captured the effect of worst-case cache conflicts during analysis. We present a computationally tractable Time-aware Address Conflict (TAC) mechanism that determines whether the impact of conflictive memory layouts is indeed captured in the MBPTA runs and prompts the user for more runs in case it is not.

show abstract

On the Criticality of Probabilistic Worst-Case Execution Time Models

Santinelli¹,

Guo

2017

Dependable Software Engineering. Theories, Tools, and Applications

View full text Add to dashboard Cite

Extreme Value Theory for Estimating Task Execution Time Bounds: A Careful Look

Cited by 52 publications

References 29 publications

On uses of extreme value theory fit for industrial-quality WCET analysis

On uses of extreme value theory fit for industrial-quality WCET analysis

Software Time Reliability in the Presence of Cache Memories

On the Criticality of Probabilistic Worst-Case Execution Time Models

Contact Info

Product

Resources

About