Mapping AADL models to a repository of multiple schedulability analysis techniques

To fill the gap between the modeling of real-time systems and the scheduling analysis, we propose a framework that supports seamlessly the two aspects: (1) modeling a system using a methodology, in our case study, the Architecture Analysis and Design Language (AADL), and (2) helping to easily check temporal requirements (schedulability analysis, worst-case response time, sensitivity analysis, etc.). We introduce the usefulness of an intermediate framework called MoSaRT, which supports a rich semantic concerning temporal analysis. We show with a case study how the input model is transformed into a MoSaRT model, and how our framework is able to generate the proper models as inputs to several classic temporal analysis tools.

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

[2]  Enrico Bini,et al.  Approximation techniques for response-time analysis of static-priority tasks , 2009, Real-Time Systems.

[3]  Pascal Richard,et al.  Reducing the gap between design and scheduling , 2012, RTNS '12.

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

[5]  Mathai Joseph,et al.  Finding Response Times in a Real-Time System , 1986, Comput. J..

[6]  Mamoun Filali,et al.  Formal Verification of AADL Specifications in the Topcased Environment , 2009, Ada-Europe.

[7]  Jean Bézivin,et al.  ATL: A model transformation tool , 2008, Sci. Comput. Program..

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

[9]  Ken Tindell,et al.  ADDING TIME-OFFSETS TO SCHEDULABILITY ANALYSIS , 1994 .

[10]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .

[11]  Karim Traore,et al.  Analyse et validation des applications temps réel en présence de transactions : application au pilotage d'un drone miniature , 2007 .

[12]  Pascal Richard,et al.  Towards a Simple Meta-model for Complex Real-Time and Embedded Systems , 2011, MEDI.

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

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

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

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

[17]  Pascal Richard,et al.  Model Driven Timing Analysis for Real-Time Systems , 2012, 2012 IEEE 14th International Conference on High Performance Computing and Communication & 2012 IEEE 9th International Conference on Embedded Software and Systems.

[18]  Alain Plantec,et al.  An Ada design pattern recognition tool for AADL performance analysis , 2011, SIGAda '11.

[19]  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).