Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité...

22
22 mai 2007 Journées Neptune 1 Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS & Hubert Dubois CEA – LIST Saclay [email protected] Mireille Blay-Fornarino Université de Nice – Sophia Antipolis CNRS- Rainbow [email protected] http://www.actionidm.org/

Transcript of Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité...

Page 1: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

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

[email protected]

Mireille Blay-FornarinoUniversité de Nice – Sophia

Antipolis

CNRS- Rainbow

[email protected]

http://www.actionidm.org/

Page 2: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

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

Page 3: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

22 mai 2007 Journées Neptune 3

Action IDM ?

Page 4: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

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

Page 5: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

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

Page 6: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

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

Page 7: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

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.

Page 8: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

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

Page 9: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

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

Page 10: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

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.

Page 11: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

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

Page 12: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

22 mai 2007 Journées Neptune 12

Membres de l’Action IDMet

Projets nationaux et européens

Page 13: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

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

Page 14: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

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

Page 15: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

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 )

Page 16: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

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

Page 17: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

22 mai 2007 Journées Neptune 17

Activités

Page 18: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

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]

Page 19: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

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 ?

[email protected]

Page 20: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

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

Page 21: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

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

Page 22: Les activités de l’Action Ingénierie Des Modèles (IDM) du CNRS · Action IDM Transversalité Relations contractualisées Animations Conclusion 4/22 Action IDM dirigée par les

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?

[email protected]