Hybrid probabilistic timing analysis with extreme value theory and copulas

Download
2019
Bekdemir, Levent.
The primary challenge of time-critical systems is to ensure that a task completes its execution before its deadline. In order to ensure that the underlying system comply with stringent timing requirements, designers ought to analyze the timing behavior of the software and its sub-components. Worst-Case Execution Time (WCET) represents the maximum length of time an individual software unit takes to execute and is the most essential value for schedulability 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 absolute upper distributional bound of the whole program. The former method lacks insurance of path coverage while the latter one suffers from ignoring possible extreme cases of program units. Furthermore, current state-of-the-art convolution method that is being implemented by a commercial WCET analysis tool overestimates the results under the assumption of worst dependence between the basic blocks. In this thesis, we propose a hybrid probabilistic timing analysis framework based on modeling the program units with EVT to capture extreme cases and Copulas to model the dependency between the units to derive tighter distributional bounds to mitigate the effects of comonotonic assumptions. The proposed framework also offers a way to minimize the instrumentation probe effects which is essential to obtain fine grained execution time traces on COTS platforms.

Suggestions

Optimal supervisory control of discrete event systems: Cyclicity and interleaving of tasks
Schmidt, Klaus Verner (2015-01-01)
A substantial number of tasks in production systems are executed in a repetitive, cyclic fashion. Specifically, production systems run different production cycles of different products as well as different instances of the same production cycle. In this paper, we consider the optimal control and interleaving of such production cycles in a supervisory control framework for discrete event systems (DESs). That is, different from other approaches, our work is based on a behavioral specification of each producti...
Comparison of parametric models for conceptual duration estimation of building projects
Helvacı, Aziz; Sönmez, Rifat; Department of Civil Engineering (2008)
Estimation of construction durations is a very crucial part of project planning, as several key decisions are based on the estimated durations. In general, construction durations are estimated by using planning and scheduling techniques such as Gannt or bar chart, the Critical Path Method (CPM), and the Program Evaluation and Review Technique (PERT). However, these techniques usually require detailed design information for estimation of activity durations and determination of the sequencing of the activitie...
Feature extraction and classification of blood cells for an automated differential blood count system
ONGUN, GÜÇLÜ; Halıcı, Uğur; Leblebicioğlu, Mehmet Kemal; Atalay, Mehmet Volkan; Beksac, M; Beksac, S (2001-07-19)
The differential blood counter (DBC) system that we have developed is an attempt to automate the task performed manually by experts in routine. Feature extraction and classification are two important components of our automated system. In this paper, classification of blood cells using various approaches including neural network based classifiers and support vector machine are presented together with the features used in the classification.
Nonlinear Decentralized Data Fusion with Generalized Inverse Covariance Intersection
Noack, Benjamin; Orguner, Umut; Hanebeck, Uwe D. (2019-01-01)
Decentralized data fusion is a challenging task even for linear estimation problems. Nonlinear estimation renders data fusion even more difficult as dependencies among the nonlinear estimates require complicated parameterizations. It is nearly impossible to reconstruct or keep track of dependencies. Therefore, conservative approaches have become a popular solution to nonlinear data fusion. As a generalization of Covariance Intersection, exponential mixture densities have been widely applied for nonlinear fu...
Hybrid meta-heuristic algorithms for the resource constrained multi-project scheduling problem
Uysal, Furkan; Sönmez, Rifat; Department of Civil Engineering (2014)
The general resource constrained multi-project scheduling problem (RCMPSP) consists of simultaneous scheduling of two or more projects with common resource constraints, while minimizing duration of the projects. Critical Path Method and other scheduling methods do not consider resource conflicts and practically used commercial project management software packages and heuristic methods provide very limited solutions for the solution of the RCMPSP. Considering the practical importance of multi-project schedul...
Citation Formats
L. Bekdemir, “Hybrid probabilistic timing analysis with extreme value theory and copulas,” Thesis (M.S.) -- Graduate School of Natural and Applied Sciences. Electrical and Electronics Engineering., Middle East Technical University, 2019.