Towards a Simple Meta-model for Complex Real-Time and Embedded Systems

We introduce an open meta-model that will be easily enriched to cover new real-time scheduling models and techniques. On the one hand, it will be possible to connect several independent schedulability analysis tools, following closely the advances in real-time scheduling theory, dealing with a temporal model that will be covered by our metamodel. On the other hand, we will use model transformation techniques in order to extract information from different design methodologies. This extraction can be done at different stages of the design (early for sensitivity analysis, at a later stage for temporal validation) to create a temporal model of the designed system, without the designer to be an expert in scheduling theory. We are working currently on the meta-model phase. The objective is to cover enough concepts to be able to represent a big part of the real-time scheduling models and problems, without introducing too much complexity. This paper uses the UML profile mechanism to describe such a meta-model.

[1]  Bran Selic,et al.  Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems , 2009, ECMDA-FA.

[2]  Seongsoo Hong,et al.  Tool set implementation for scenario-based multithreading of UML-RT models and experimental validation , 2003, The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings..

[3]  Pierre Dissaux.  Architecture Description Languages - IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France , 2005, IFIP-WADL.

[4]  Emmanuel Grolleau,et al.  Characterization and Analysis of Tasks with Offsets: Monotonic Transactions , 2006, 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06).

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

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

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

[8]  Pascal Richard,et al.  Negative results for scheduling independent hard real-time tasks with self-suspensions , 2004, 25th IEEE International Real-Time Systems Symposium.

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

[10]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[11]  Aloysius K. Mok,et al.  A Multiframe Model for Real-Time Tasks , 1997, IEEE Trans. Software Eng..

[12]  Matthias Hagner,et al.  Integration of scheduling analysis into UML based development processes through model transformation , 2010, Proceedings of the International Multiconference on Computer Science and Information Technology.

[13]  Sébastien Gérard,et al.  Optimum: a MARTE-based methodology for schedulability analysis at early design stages , 2011, SOEN.

[14]  Alan Burns,et al.  Sensitivity Analysis for EDF Scheduled Arbitrary Deadline Real-Time Systems , 2010, 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications.

[15]  Zonghua Gu,et al.  Real-Time scheduling techniques for implementation synthesis from component-based software models , 2005, CBSE'05.

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

[17]  Arend Rensink.  Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings , 2009, ECMDA-FA.

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

[19]  Alan Burns,et al.  Hierarchical fixed priority pre-emptive scheduling , 2005, 26th IEEE International Real-Time Systems Symposium (RTSS'05).

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

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

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

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

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

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

[26]  Giuseppe Lipari,et al.  A UML Profile and a Methodology for Real-Time Systems Design , 2006, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06).

[27]  Julio L. Medina Pasaje,et al.  From composable design models to schedulability analysis with UML and the UML profile for MARTE , 2011, SIGBED.

[28]  Judy Kay,et al.  A fair share scheduler , 1988, CACM.