MADES: A SysML/MARTE high level methodology for real-time and embedded systems

Post date: Oct 13, 2011 8:15:49 AM

Imran Rafiq Quadri, Leandro Soares Indrusiak and Andrey Sadovykh, "MADES: A SysML/MARTE high level methodology for real-time and embedded systems", International Conference on Embedded Real Time Software and Systems", in Proc. of the International Conference on Embedded Real Time Software and Systems (ERTS2 2012), Toulouse, France - February 2012 (To Appear).

Web Link: http://www.erts2012.org/

Abstract: Rapid evolution of real-time and embedded systems (RTES) is continuing at an increasing rate, and new methodologies and design tools are needed to reduce design complexity while decreasing development costs and integrating aspects such as verification and validation. Model-Driven Engineering offers an interesting solution to the above mentioned challenges and is being widely used in various industrial and academic research projects. This paper presents the EU funded MADES project which aims to develop novel model-driven techniques to improve existing practices in development of RTES for avionics and surveillance embedded systems industries.

MADES proposes a subset of existing UML profiles for embedded systems modeling: namely MARTE and SysML, and is developing new tools and technologies that support design, validation, simulation and eventual automatic code generation, while integrating aspects such as component re-use. In this paper, we first introduce the MADES language, which enables rapid system design and specification that can be then taken by underlying MADES tools for goals such as simulation or code generation.

Finally, we illustrate the various concepts present in the MADES language by means of a car collision avoidance system case study.

Keywords: Model-Driven Engineering, MARTE, SysML, Real-Time and Embedded Systems, Hardware/Software Co-Design.