Marco Panunzio
Department of Pure and Applied Mathematics, University of Padua
via Trieste 63
35121 Padova

Fitting Schedulability Analysis into Model-Driven Engineering

Matteo Bordin, Marco Panunzio, Tullio Vardanega

20th Euromicro Conference on Real-Time Systems


The theory behind state-of-the-art schedulability analysis has reached such a level of sophistication that its complete mastering by the average industrial practitioner is practically infeasible. The centrality of automation promoted by model-driven engineering may facilitate the up-take of the front-end of the analysis theory by the industrial world. In this paper we qualitatively evaluate how current approaches to model-based schedulability analysis may employ and feed state-of-the-art analysis equations; we then illustrate a new strategy which, by way of model transformation, warrants a high degree of confidence in and permits an iterative refinement of the input to sophisticated analysis equations. We contend that model-driven engineering is well suited for fitting the most advanced analysis theories and to chart the course for future improvements in the area of model-based schedulability analysis.