Probabilistic Schedulability Analysis with Dependent Execution Times
摘要
In the area of real-time systems verification, designers employ various techniques and tools for schedulability analysis. The research described in this paper introduces a novel approach for schedulability analysis based on probabilistic laws. More precisely, we have extended the task model to incorporate variations in execution times. Furthermore, The article presents an analysis of the dependence between execution times, using the theory of copulas, which represents a relatively novel mathematical tool for modeling the dependence structure of multivariate random variables.