A UML profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) has been recently standardized by the OMG. This initiative meets the needs of several Thales divisions (e.g., aerospace, land and joint and air systems), which develop real-time and embedded systems. CEA LIST, INRIA and Thales have been the main contributors to the MARTE standard through the ProMARTE consortium. To foster the deployment of MARTE in Thales divisions, we have launched the development of a case study related to a real-time and embedded system using the MARTE adopted specification. As a first step of this study, we make use of a fictive system- the Josefil challenge-to evaluate whether the profile is applicable to the Thales current systems and software engineering practices. The purpose of this paper is to report on this first stage and outline the next scheduled activities.
['Sébastien Demathieu', 'Frédéric Thomas', 'Charles André', 'Sébastien Gérard', 'François Terrier']
First Experiments Using the UML Profile for MARTE