Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/12197
Title: Hybrid probabilistic timing analysis with Extreme Value Theory and Copulas
Authors: Bekdemir, Levent
Bazlamaçcı, Cüneyt F.
Keywords: Copula theory
Extreme Value Theory (EVT)
Measurement-based probabilistic timing analysis
Publisher: Elsevier
Abstract: The primary challenge of time-critical systems is to guarantee that a task completes its execution before its deadline. In order to ensure compliance with timing requirements, it is necessary to analyze the timing behavior of the overall software. Worst-Case Execution Time (WCET) represents the maximum amount of time an individual software unit takes to execute and is used for scheduling analysis in safety-critical systems. Recent studies focus on statistical approaches, which augments measurement-based timing analysis with probabilistic confidence level by applying stochastic methods. Common approaches either utilize Extreme Value Theory (EVT) for end-to-end measurements or convolution techniques for a group of program units to derive probabilistic upper bounds for the program. The former method does not ensure path coverage while the latter suffers from ignoring possible extreme cases. Furthermore, current state-of-the-art convolution methods employed in a commercial WCET analysis tool overestimates the results because of using the assumption of worst-case dependence between basic blocks. In this paper, we propose a hybrid probabilistic timing analysis framework and modeling the program units with EVT to capture extreme cases and use Copulas to model the dependency between the units to derive tighter distributional bounds in order to mitigate the effects of co-monotonic assumptions.
URI: https://doi.org/10.1016/j.micpro.2021.104419
https://hdl.handle.net/11147/12197
ISSN: 1419331
Appears in Collections:Computer Engineering / Bilgisayar Mühendisliği
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
WoS İndeksli Yayınlar Koleksiyonu / WoS Indexed Publications Collection

Files in This Item:
File Description SizeFormat 
1-s2.0-S0141933121005639-main.pdfArticle3.52 MBAdobe PDFView/Open
Show full item record



CORE Recommender

SCOPUSTM   
Citations

1
checked on Jul 19, 2024

WEB OF SCIENCETM
Citations

1
checked on Jul 20, 2024

Page view(s)

1,482
checked on Jul 15, 2024

Download(s)

200
checked on Jul 15, 2024

Google ScholarTM

Check




Altmetric


Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.