Intervenants :

• Julien DeAntoni
• Arnaud Albinet (à confirmer)
• à définir

Objectifs: Comprendre comment l'IDM supporte la prise en compte des exigences, des propriétés extra fonctionnelles et leur vérification.

L'idée de se module est de s'appuyer sur un exemple fil rouge regroupant plusieurs aspects:

• de la synchronisation entre différentes tâches,
• des contraintes extra fonctionnelles (contraintes de temps, de qualité de service, …)

Au travers de ce fil rouge, le but est de faire générer du code exécutable (si possible sur une carte micro-contrôleur). Pour la génération de code, plusieurs problèmes/manques vont apparaitres et nous verrons quelles sont les réponses apportées par la communauté IDM.

De manière plus détaillées, après une description de l'existant sur la génération de code, les scéances commenceront par une analyse du système en UML. Puis les étudiants seront invités à se poser des questions sur ce qui n'est pas exprimé en UML et quels sont les impacts sur la génération du code.

L'idée est ensuite d'enrichir le modèle à l'aide de profils UML et particulièrement:

• SYSML pour l'aspect gestion des exigences, leur prise en compte et leur intégration à UML. Sur ce point, un intervenant (probablement Arnaud Albinet de la société Continental) viendra présenter la notion d'exigenceet leur prise en compte dans les entreprises.
• Marte pour les aspects description de la plateforme et des aspects temporels au sens large. L'utilisation d'un formalisme formelle permettra de démontrer l'importance de l'analyse des modèles avant la génération de code.