Fitting Schedulability Analysis Theory into Model-Driven Engineering

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 uptake 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.

[1]  Alan Burns,et al.  Guide for the use of the Ada Ravenscar Profile in high integrity systems , 2004, ALET.

[2]  W. Tindell.  AN EXTENDIBLE APPROACH FOR ANALYSING FIXED PRIORITY HARD REAL-TIME TASKS , 1994 .

[3]  Michael González Harbour,et al.  Schedulability analysis for tasks with static and dynamic offsets , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[4]  Alan Burns,et al.  Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems , 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

[5]  John A. Clark,et al.  Holistic schedulability analysis for distributed hard real-time systems , 1994, Microprocess. Microprogramming.

[6]  Tullio Vardanega,et al.  On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels , 2004, Real-Time Systems.

[7]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[8]  David Frankel,et al.  Model Driven Architecture: Applying MDA to Enterprise Computing , 2003 .

[9]  Theodore P. Baker,et al.  Stack-based scheduling of realtime processes , 1991, Real-Time Systems.

[10]  J. Carlos Palencia,et al.  An EDF Hierarchical Scheduling Model for Bandwidth Servers , 2006, 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06).

[11]  Tullio Vardanega,et al.  An Approach to the Timing Analysis of Hierarchical Systems , 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007).

[12]  Alan Burns,et al.  An extendible approach for analyzing fixed priority hard real-time tasks , 1994, Real-Time Systems.

[13]  Steve Vestal,et al.  Fixed-Priority Sensitivity Analysis for Linear Compute Time Models , 1994, IEEE Trans. Software Eng..

[14]  Erhard Plödereder,et al.  Ada 2005 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 , 2007, Lecture Notes in Computer Science.

[15]  Tullio Vardanega,et al.  Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach , 2007, Ada-Europe.

[16]  Giorgio C. Buttazzo,et al.  Sensitivity Analysis for Fixed-Priority Real-Time Systems , 2006, ECRTS.

[17]  Laurent Nana,et al.  Scheduling and memory requirements analysis with AADL , 2005 .

[18]  Thomas A. Henzinger,et al.  The Discipline of Embedded Systems Design , 2007, Computer.

[19]  Tullio Vardanega,et al.  Hierarchical Scheduling with Ada 2005 , 2006, Ada-Europe.

[20]  Tullio Vardanega,et al.  A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis , 2007, Ada-Europe.