Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité...
Transcript of Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité...
22 mai 2007 Journées Neptune 1
Les activités de l’Action Ingénierie Des Modèles (IDM)
du CNRS
& Hubert DuboisCEA – LIST
Saclay
Mireille Blay-FornarinoUniversité de Nice – Sophia
Antipolis
CNRS- Rainbow
http://www.actionidm.org/
22 mai 2007Journées Neptune
Action IDM
Transversalité
Relations contractualisées
Animations
Conclusion
2/22
Plan de l’exposé
• Action IDM ?
• Action au travers des Groupements de Recherche
• Membres de l’action et relations recherche-
industrie contractualisées
• Activités de l’Action IDM
• Perspectives
22 mai 2007 Journées Neptune 3
Action IDM ?
22 mai 2007Journées Neptune
Action IDM
Transversalité
Relations contractualisées
Animations
Conclusion
4/22
Action IDM dirigée par les impératifs
du développement logiciel
• Nécessité d’une synergie entre plusieurs domaines de l’ingénierie du logiciel
• Langages : DSL, interopérabilité, …
• Transformations : génération, composition, …
• Validation : vérification, tests, …
• Nouveaux processus de développement :
évolution, maintenance, adaptation, …
Génie Logiciel
Systèmes et réseaux
Systèmesd’information
22 mai 2007Journées Neptune
Action IDM
Transversalité
Relations contractualisées
Animations
Conclusion
5/22
Une communauté académique
multiple
• En 2003, Action Spécifique “MDA”
Action IDM du CNRS en 2006
• 30 équipes
• ~ 70 membres
• Répartis dans
des domaines variés
et complémentaires
22 mai 2007Journées Neptune
Action IDM
Transversalité
Relations contractualisées
Animations
Conclusion
6/22
Objectifs de l’Action IDM
• Diffusion d’information
• Animations de la communauté
• Favoriser les échanges
22 mai 2007 Journées Neptune 7
Une action transversale
GdR Génie de la Programmation et du Logiciel (GPL)Dirigé par Yves Ledru
GdR Architectures, Systèmes et Réseaux (ASR)Dirigé par Michel Riveill
GdR Information, Interaction, Intelligence (I3 )Dirigé par Florence Sedes, Pierre Marquis et Jean-Marc Ogier.
22 mai 2007Journées Neptune
Action IDM
Transversalité
Relations contractualisées
Animations
Conclusion
8/22
Transverse GPL
-Formalisme et outils-
COSMAL : Composants Objets Services : Modèles, Architectures et LangagesPhilippe Lahire, Mourad Oussalah
FORWAL : Formalismes et Outils pour la Vérification et la Validation Jean-Michel Couvreur, Olga Kouchnarenko
LTP : Langages, Types et PreuvesCatherine Dubois, Pierre Castéran
Transformations : Transformations de programmes et de modèles
Mikal Ziane, Pierre-Etienne Moreau
MTV² : Méthodes de Test pour la Validation et la VérificationFatiha Zaidi, Arnaud Gotlieb
LaMHaLangages et Modèles de Haut-niveau pour la programmation parallèle,
distribuée, de grilles de calcul et Applications Frédéric Loulergue
22 mai 2007Journées Neptune
Action IDM
Transversalité
Relations contractualisées
Animations
Conclusion
9/22
Transverse GPL
- Gestion du cycle de vie -
MFDL Méthodes Formelles dans le Développement de Logiciels Yamine Ait Ameur, Dominique Cansell, Marie Laure Potet
RIMEL Rétro-Ingénierie, Maintenance et Evolution des Logiciels
Salah Sadou, Jean-Marie Favre
22 mai 2007Journées Neptune
Action IDM
Transversalité
Relations contractualisées
Animations
Conclusion
10/22
Transverse ASR
ADAPT Adaptation dynamique aux environnements d'exécution
Françoise André
AFSEC Approches Formelles des Systèmes Embarqués Communicants Claude Jard et Olivier H. Roux.
22 mai 2007Journées Neptune
Action IDM
Transversalité
Relations contractualisées
Animations
Conclusion
11/22
Transverse I3 : thèmes
Masse de données et accès à l’information
IA Fondamentale
Systèmes multi-agents
Ingénierie par et pour les modèles dans les systèmes d’information
Interaction et coopération
Communication orale, écrite et visuelle
Ingénierie des connaissances
22 mai 2007 Journées Neptune 12
Membres de l’Action IDMet
Projets nationaux et européens
22 mai 2007Journées Neptune
Action IDM
Transversalité
Relations contractualisées
Animations
Conclusion
13/22
Projets entre Membres de l’action
& Industriels• 18 projets référencés aujourd’hui depuis le site
web (http://www.actionidm.org/)– 2 Réseaux d’excellence
– 4 Projets au niveau européen
– 7 Projets financés par l’ANR
– 5 Projets de pôles de compétitivité
D’après © Illustration : V. Gutton pour le Journal du CNRS
22 mai 2007Journées Neptune
Action IDM
Transversalité
Relations contractualisées
Animations
Conclusion
14/22
Quelques thèmes abordés dans
les projets
• Langage de Description d’Architectures : – ATESST
• Programmation et modélisation par aspects : – réseau d’excellence Européen AOSD (Aspect-Oriented Software
Development)
• Approches par composants et services– FAROS (Fiabilité d’ARchitectures Orientées Services), – Flex-eWare, – SPEEDS,
– SPaCIFY (Model-Driven Engineering and Formal Methods for Critical Embedded Software),
– SMNG (Systèmes multi-média de nouvelle génération)
• System-On-Chip (SOC) : – MOPCOM
• Génération de code– GENEAUTO
22 mai 2007Journées Neptune
Action IDM
Transversalité
Relations contractualisées
Animations
Conclusion
15/22
Quelques thèmes abordés dans
les projets
• Amélioration des processus basés sur l’IDM : – DOMINO (DOMaINes et prOcessus méthodologique),
– ARTIST2 (réseau d’excellence on Embedded Systems Design),– Modelplex (MODELling solution for comPLEX software systems)
• Ingénierie des exigences : – MeMVaTEx (Méthode de Modélisation pour la Validation et la
Traçabilité des Exigences )
• Plateformes et outils pour l’IDM :– OpenEmbeDD,
– TOPCASED, – Usine Logicielle.
• IHM et apprentissage :– EMODE (Enabling Model Transformation-Based Cost Efficient
Adaptive Multi-modal User Interfaces),
– p-LearNet (PervasiveLearning )
22 mai 2007Journées Neptune
Action IDM
Transversalité
Relations contractualisées
Animations
Conclusion
16/22
Domaines applicatifs
Automobile
Aéronautique & aérospatial
Télécommunication
Médecine
Energie
Systèmes d’information
Multi-média
22 mai 2007 Journées Neptune 17
Activités
22 mai 2007Journées Neptune
Action IDM
Transversalité
Relations contractualisées
Animations
Conclusion
18/22
Diffusion des informations
• Synthèses …
• Site web : http://www.actionidm.org/
• A l’international : http://planetmde.org/
• Mailing liste : [email protected]
22 mai 2007Journées Neptune
Action IDM
Transversalité
Relations contractualisées
Animations
Conclusion
19/22
Animations
• Organisation via l’action de réunions de travail– Transformations et IDM
– IDM & EIAH, IDM & IHMs
– Sémantique des métamodèles
– ...
• Appel à articles pour numéros spéciaux de revue
• Des suggestions ?
22 mai 2007Journées Neptune
Action IDM
Transversalité
Relations contractualisées
Animations
Conclusion
20/22
Echanges
• Journée d’échanges des équipes de l’action,
hier…
• Aide aux doctorants (MODELS’06, ECMDA’07)
• Assemblées générales
Pendant
• les Journées IDM : les journées « Phare » de
l’action
22 mai 2007Journées Neptune
Action IDM
Transversalité
Relations contractualisées
Animations
Conclusion
21/22
Les journées IDM
2005 : Paris
2006 : Lille
2007 : Toulouse 120 Participants
AteliersComposition de modèles
Bonnes pratiques et patrons de
modélisation
Qualité des modèles de conception,
Evolution et rétro-ingénierie
Sémantique des modèles
Journée Aspects
Conférencier Invité
Robert France,
Université du Colorado
juin 2008 : Mulhouse
22 mai 2007 Journées Neptune 22
ConclusionL’Action IDM est une communauté
Active de chercheurs,
Importante en nombre et en qualité
Attentive aux échanges avec l’industrie
Porteuse de plus-value au niveau national et international
L’action IDM et vous?