Le projet exploratoire MeMVaTEx, d'une durée planifiée de 3 ans, issu du projet Num@tech Automotive du pôle de compétitivité System@tic, est relatif aux Méthodes de Modélisation pour la Validation et la Traçabilité des Exigences. Il rassemble les compétences complémentaires du milieu industriel et académique :

• CEA-LIST, laboratoire apportant son expérience sur l'aspect méthodologique pour l'ingénierie dirigée par les modèles appliquée aux systèmes temps réel,
• Sherpa Engineering, fournisseur d'un atelier intégré de modélisation possédant une expertise méthodologique apportant support et mise en œuvre à ses clients.
• INRIA/I3S projet AOSTE expérimenté dans les approches formelles (modèles synchrones) pour la modélisation de systèmes embarqués et la prise en compte de contraintes temps réel et d'architecture matérielle éventuellement distribuée,
• Continental, acteur majeur du milieu automobile, en particulier dans la conception et la réalisation de systèmes logiciel temps réel embarqués,
• UTC/HEUDIASYC, laboratoire spécialiste des applications dites "critiques" en particulier sur la validation des exigences.

Elle garantit la modélisation des comportements dynamiques dans l'architecture logicielle pour assurer une continuité dans le développement. L'utilisation et l'enrichissement de profils UML, notamment MARTE, permettront de couvrir ces besoins, y compris dans le cadre d'interactions de formalismes hétérogènes. En effet, nous développerons des passerelles sémantiques supportées par une chaîne d'outils intégrée.

La mise en oeuvre du projet se fera en deux temps afin de structurer la réalisation. En premier lieu, une première phase sera centrée sur la définition d’un environnement homogène de référence. Ensuite,  l'hétérogénéité des processus de développement du milieu industriel sera prise en compte. La méthodologie et les outils devront donc supporter des outils de modélisation industriels tels que Simulink/StateFlow, StateMate et Scade-drive. Les travaux sont validés par la mise en application sur un cas de référence issu du milieu automobile.

Les livrables du projet seront constitués d'une méthodologie de développement logicielle, du prototypage des outils supports en open source ou plug-in open source, ainsi que du matériel de dissémination assurant la diffusion des résultats du projet. Du fait de la représentation des partenaires, les apports de ce projet seront reportés à l'OMG (Object Management Group) par la validation du profil UML temps réel utilisé. Ils permettront également de consolider la définition du processus de développement logiciel dans le cadre du groupe de travail ISO sur la sécurité fonctionnelle des applications automobiles. Ils tiendront compte des principes de l'architecture ouverte standardisée du milieu automobile gérée par le consortium AUTOSAR.