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.

[1]  Alain Plantec,et al.  Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns , 2010, ISoLA.

[2]  Neil Audsley,et al.  OPTIMAL PRIORITY ASSIGNMENT AND FEASIBILITY OF STATIC PRIORITY TASKS WITH ARBITRARY START TIMES , 2007 .

[3]  François Vernadat,et al.  Specification and verification of real-time systems using POLA , 2011, Int. J. Crit. Comput. Based Syst..

[4]  Wang Yi,et al.  The Digraph Real-Time Task Model , 2011, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.

[5]  Sanjoy K. Baruah.  The Non-cyclic Recurring Real-Time Task Model , 2010, 2010 31st IEEE Real-Time Systems Symposium.

[6]  Giorgio C. Buttazzo,et al.  Sensitivity analysis for fixed-priority real-time systems , 2006, 11th IEEE Real Time and Embedded Technology and Applications Symposium.

[7]  Françoise Simonot-Lion,et al.  EAST-ADL - An Architecture Description Language - Validation and Verification Aspects , 2004, IFIP-WADL.

[8]  L. Futcher,et al.  IFIP – The International Federation for Information Processing , 2004 .

[9]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[10]  Sanjoy K. Baruah,et al.  Generalized Multiframe Tasks , 1999, Real-Time Systems.

[11]  Laurent Nana,et al.  Cheddar: a flexible real time scheduling framework , 2004, SIGAda.

[12]  M. G. Harbour,et al.  MAST Real-Time View: a graphic UML tool for modeling object-oriented real-time systems , 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).

[13]  Rocquencourt,et al.  Analysis of Deadline Scheduled Real-Time Systems , 1996 .

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

[15]  Rolf Ernst,et al.  System level performance analysis - the SymTA/S approach , 2005 .

[16]  Rami G. Melhem,et al.  Energy aware scheduling for distributed real-time systems , 2003, Proceedings International Parallel and Distributed Processing Symposium.

[17]  Alan Burns,et al.  Sensitivity analysis of arbitrary deadline real-time systems with EDF scheduling , 2011, Real-Time Systems.