Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
An MDE methodology for the development of high-integrity real-time systems
Proceedings of the Conference on Design, Automation and Test in Europe
A model-based approach for multiple QoS in scheduling: from models to implementation
Automated Software Engineering
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Ada ravenscar code archetypes for component-based development
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Information and Software Technology
| Hi-index | 0.00 |
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.