Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
Permanent URI for this collectionhttps://hdl.handle.net/11147/7148
Browse
2 results
Search Results
Conference Object Citation - Scopus: 2Hibrit Olasılıksal Zamanlama Analizi(IEEE, 2021) Bekdemir, Levent; Bazlamaçcı, Cüneyt; Bazlamaçcı, Cüneyt F.; 03.04. Department of Computer Engineering; 03. Faculty of Engineering; 01. Izmir Institute of TechnologyZaman-kritik sistemlerde mevcut güçlüklerin başında bir işin gereken son bitirilme zamanından önce tamamlanacak olmasının garanti edilmesi hususu gelir. Bu amaçla yazılımın tümünün davranışının çözümlenmesi gerekir. En kötü yürütme süresi bir yazılım biriminin olası en yüksek yürütme zamanını temsil eder ve bu metrik zaman-kritik sistemlerin kaynak planlamasında kullanılır. İlgili alandaki yakın zamanlı çalışmalar daha çok istatistiksel yaklaşımlara yer vermiştir. Bunlar, ölçüme dayalı zamanlama analizlerini stokastik yöntemler yardımıyla elde edilen olasılıksal güvenirlik seviyeleriyle tamamlamaktadırlar. En çok kullanılan yöntemlerde, ya uçtan uca ölümleri uç değer teorisi yardımıyla kullanarak ya da küçük program parçacıklarının ölçümlerini evrişim (convolution) teknikleri kullanarak tüm programın üst sınırı belirlenmeye çalışılmaktadır. Her iki yaklaşım da sorunludur. Bu çalışmada bir hibrid olasılıksal zamanlama analiz metodu önerilmektedir. Bu metod ile program yapı taşı olan alt birimler ayrı ayrı ve uç değer teorisi yardımıyla modellenerek en üst değerler yakalanabilmekte, kopulalar kullanarak da birimler arası bağımlılıklar modellenmekte ve sonuçta daha iyi bir sınır değer dağılımı bulunabilmektedir.Article Citation - WoS: 1Citation - Scopus: 1Hybrid Probabilistic Timing Analysis With Extreme Value Theory and Copulas(Elsevier, 2022) Bekdemir, Levent; Bazlamaçcı, Cüneyt; 03.04. Department of Computer Engineering; 03. Faculty of Engineering; 01. Izmir Institute of TechnologyThe 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.