MoSaRT Framework: A Collaborative Tool for Modeling and Analyzing Embedded Real-Time Systems

The increasing evolution of real-time and embedded systems needs methodologies and design tools in order to reduce design complexity. Moreover, the scheduling analysis is one of the aspects that integrate the development process to reduce development costs and to validate systems. Since model-driven engineering offers interesting solutions to the above-mentioned challenges, it is widely used in various industrial and academic research projects. This paper presents an overview of a model-based framework called MoSaRT (Modeling oriented Scheduling analysis of Real-Time systems), which aims to help real-time designers to conceive, dimension and analyze real-time systems. The underlying idea behind this proposal is to fill the gap between the academic real-time scheduling theory community and industrial practices. In fact, research results have been exploited in industrial contexts only to a modest extent to date. The MoSaRT framework is also a software tool for technology transfer enabling researchers to promote their works (e.g. analysis models and scheduling tests), then to increase the applicability of the real-time scheduling analysis.

[1]  Michael González Harbour,et al.  Schedulability analysis for tasks with static and dynamic offsets , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

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

[3]  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.

[4]  Alain Plantec,et al.  Investigating the usability of real-time scheduling theory with the Cheddar project , 2009, Real-Time Systems.

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

[6]  Alan Burns,et al.  Real-Time Systems and Programming Languages - Ada, Real-Time Java and C / Real-Time POSIX, Fourth Edition , 2009, International computer science series.

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

[8]  Alan Burns,et al.  Real Time Scheduling Theory: A Historical Perspective , 2004, Real-Time Systems.

[9]  Jérôme Hugues,et al.  Mapping AADL models to a repository of multiple schedulability analysis techniques , 2013, 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013).

[10]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[11]  Alan Burns,et al.  A survey of hard real-time scheduling for multiprocessor systems , 2011, CSUR.

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

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

[14]  Luigi Palopoli,et al.  Adding Timing Analysis to Functional Design to Predict Implementation Errors , 2007 .

[15]  Leandro Soares Indrusiak,et al.  MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems , 2012, 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC).

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

[17]  Jean-Michel Bruel,et al.  Satellite Events at the MoDELS 2005 Conference , 2006 .

[18]  Frank Budinsky,et al.  EMF: Eclipse Modeling Framework 2.0 , 2009 .