Bienvenues à NEPTUNE’2006 Processus de développement logiciel basé sur les modèles : Démarche et Outillage
Agenda (1)
Agenda (2)
Les Sponsors C E N T R D M A I S Y U L O G
Que s’est il passé depuis l’an dernier La vérification des modèles GAGNE « toujours » en importance dans le nouveau monde de l’IDM En effet il faut s’assurer De la bonne formation des méta modèles De la bonne formation du modèle avant les transformations Il faut valider les transformations De nombreux projets de recherche sont toujours concernés par le MDA et l’IDM et donc par la vérification de modèles (**) (**) Thème à la base des premières journées NEPTUNE
Liste non exhaustive de projets concernés par le MDA TOPCASED présenté ici même en 2004, vient de publier la version 0.80, et continu dans le cadre Aérospace Vallée Génération d’éditeurs (UML, AADL, SYSml …), BUS **, Importations (transformation) de modèles (RSM vers TOPCASED …), Éditeur et Checker OCL indépendants du méta modèle (la suite de NEPTUNE) MDDi (BUS**) est désormais en activité AMMA/ATL (Transformation de modèles), continue sa progression Les journées AMMA organisées à NANTES ont du succès !!! GMF (Génération d’éditeurs) Projet ECLIPSE désormais en place, il avance à grande vitesse !!! MODELBUS (MDA), ASSERT (AADL) progressent OpenEmbeDD (le nouveau venu) Collaboration entre Aérospace Vallée et SYSTEMATIC ** Structure d’accueil
Les journées NEPTUNE et la conférence IDM Deux conférences sur le même thème à peu près à la même période, pourquoi ? NEPTUNE est orientée Industrie IDM est orientée Recherche Présentation rapide de IDM’06 http://www.planetmde.org/idm06/
Mais avec un changement de formule Et NEPTUNE’2007 Ou ? Toujours à Paris Quand ? Toujours fin mai, début juin Mais avec un changement de formule Deux jours au lieu d’un Si vous avez des suggestions, propositions … n’hésitez pas à me contacter