Model Driven Timing Analysis for Real-Time Systems

This paper stresses the difficulty for a system designer to use an appropriate real-time task model for his system, and to choose the associated scheduling analysis tests/dimensioning techniques. We propose a model-based approach tackling this difficulty. We focus on the schedulability analysis tree used by our method in order to help the designer to dimension, and then to validate his system.