METHODES / METHODS > L’INGÉNIERIE DIRIGÉE PAR LES MODÈLES : Un bilan critique

JOURNAL-NEWS
 
CYCLES ROUTES
CYCLE ROUTES 09-10
CYCLE ROUTES 10-11
CYCLE ROUTES 2010
LE CESROUTE DE 1997 à 2009

METHODES / METHODS
A- ACTUALITES / NEWS
B- DEMARCHES / APPROACHES
C- PROCESSUS / PROCESS
D- REFERENCES
E- Formations en support de ces méthodologies
F- Les logiciels supports de ces méthodologies et processus

CYCLES INTERNATIONAUX / INTERNATIONAL SEMINARS
Česky
Arabia - عربية
Bahasa Malaysia
Balgarski
Deutsch
Eesti
English
Español
Français
Hanyu - 汉语
Italiano
Kokugo - 国語
Latviski
Lietuviskai
Magyar
Nederlands
Polski
Portugues
Româneste
Ruski - по русски
Slovensky

METRATECH
PARTENAIRES-PARTNERS
RESULTATS / RESULTS
TOURISME & VIE SOCIALE / TOURISM & SOCIAL LIFE

PUBLICATIONS
DOSSIERS PEDAGOGIQUES / PEDAGOGICAL FILES
PRESSES DE L’ENPC

SITE
Comment utiliser le site / How to use this site
Comment y participer / How to contribute

Journées NEPTUNE - Telecom ParisTech - Paris, 17-18 mai 2011
L’INGÉNIERIE DIRIGÉE PAR LES MODÈLES : Un bilan critique
jeudi 10 mars 2011 , Sandrine Beaujon


Sites Web

http://neptune.irit.fr et http://www.c-s.fr

L’ingénierie dirigée par les modèles et, en particulier, les processus de développement logiciel à base de modèles ont toujours été au centre des préoccupations des Journées NEPTUNE. Ces procédures correspondent à un paradigme dans lequel le code source n’est plus considéré comme l’élément central d’un logiciel, mais comme un élément dérivé d’éléments de modélisation. Cette approche prend toute son importance dans le cadre des architectures logicielles et matérielles dirigées par les modèles. De telles architectures s’intègrent tout naturellement dans un processus de développement à base de modèles s’assurant, à chaque niveau de modélisation, que les modèles obtenus et réutilisés ont les qualités requises.

Les travaux concernant l’IDM menés jusqu’à ce jour dans le cadre de collaborations académiques/industrielles montrent que ces technologies intéressent de plus en plus d’industriels. Cet intérêt grandissant a donné lieu à la réalisation de nombreux projets aussi bien nationaux qu’internationaux et à la réalisation de nombreux outils industriels et ouverts. Dans ce contexte, il nous a semblé pertinent, pour cette huitième édition des journées NEPTUNE, de revenir sur des problématiques que nous avons déjà abordées par le passé afin, d’une part, de présenter les avancées en matière de vérification et de transformation de modèles et, d’autre part, de présenter les nouveaux projets phares dans le domaine des modèles. Cette huitième édition doit aussi être l’occasion de s’intéresser aux retours d’expérience des entreprises ayant utilisé les technologies et les outils IDM dans le cadre de leurs projets. En effet, un nombre important de travaux et de projets ont vu le jour au cours des cinq dernières années et beaucoup avaient, entre autres, comme objectifs le transfert technologique des connaissances issues du monde académique vers le monde industriel et le passage à l’échelle.

La première journée sera consacrée à une présentation des avancées concernant la vérification et la transformation de modèles. La deuxième journée sera axée sur les outils et les nouveaux projets de l’IDM.

Parrainages : ANR, Commission Européenne, Pôles de Compétitivité Minalogic, System@tic et Aerospace Valley

PROGRAMME

MARDI 17 MAI 2011

• Accueil et présentation des journées NEPTUNE 2011 A. Canals (CS Communication & Systèmes)

• La modélisation chez Microsoft le bon (UML ?), la brute (XAML ?) et le truand (DSL ?) Le duel ?! X. Warzee (Architecte Solution - Division Plateforme & Ecosystème – Microsoft France)

Session : Transformation

• Mise en pratique de l’IDM au travers de l’atelier MDWorkbench S. Sadvandi, R. Chevrel et M. Vacher (Sodius)

• Projet ADAMS : MARTE & AADL mise en correspondance des concepts L. Rioux et M. Faugère (Thales Research & Technology)

• Modèles système, modèles logiciel et modèles de code dans les applications spatiales F.-X. Dormoy, A. Le Guennec (Esterel-Technologies) et D. Lesens (EADS Astrium Space Transportation)

Session : Vérification

• Des exigences au binaire avec TASTE J. Delange et M. Perrotin (ESA)

• RDAL : Un nouveau langage pour la définition et la vérification d’exigences pour AADL et d’autres langages de description d’architecture D. Blouin, E. Senn et S. Turki (Université de Bretagne Sud)

• Utilisation de techniques SAT/PseudoBool pour la synthèse de modèles corrects par construction dans le cadre IDM R. Delmas, D. Doose et T. Polacsek (ONERA)

• Méthode formelle : de la théorie à la pratique - cas concret dans le ferroviaire M. Antoni et N. Ammad (SNCF)

Bilan et Synthèse de la Journée

Table Ronde : Les transformations de modèles : mythes ou réalités Animateurs : J.-M. Bruel (IRIT), X. Warzee (Microsoft France), D. Blouin (Université de Bretagne Sud) et J. Delange (ESA)

• Histoire des anneaux de NEPTUNE A. Brahic (CEA)

Cocktail

MERCREDI 18 MAI 2011

• L’IDM : où en est-on ? T. Millan (IRIT)

• L’ingénierie de la disponibilité basée sur les modèles : une expérience académique–industrielle et ses leçons F. Khendek (Concordia University – Canada)

Session : Outils IDM

• Le calcul haute performance : un nouveau champ d’application pour l’ingénierie des modèles M. Palyart, D. Lugato – (CEA), I. Ober et J.-M. Bruel (IRIT)

• MDT : Papyrus : état actuel et perspectives V. Loranzo (CEA)

• Migration d’applications client-serveur et génération de code B. Pons (Banque de France), F. Ramière et N. Romanetti (Jaxio)

Session : Projets

• Topcased à Airbus, un déploiement dans l’industrie C. Besseyre (Airbus)

• Modélisation à base de patrons de sécurité et de sûreté pour les systèmes embarqués contraints en ressources – L’approche TERESA B. Hamid (IRIT)

• Illustration et utilisation de l’approche TERESA dans l’industrie C. Jouvray (Trialog)

• L’IDM, un levier pour l’intégration d’outils : L’approche iFEST H. Espinoza (Tecnalia – Espagne), V. Leilde, P.I. Diallo et J. Champeau (ENSIETA Bretagne - France)

• Recherche en IDM dans les projets ANR F. Barbier (ANR)

Conclusion/Débat

Animateurs : A. Rossignol (Astrium) et E. Najm (Télécom ParisTech)


Renseignements & Organisation Jean-Claude Rault : genie-logiciel at orange.fr

http://neptune.irit.fr et http://www.c-s.fr

répondre / to answer
   


Les solutions méthodologiques dans le cycle de vie Produit/Proces (PLM)
AFM - Lettre de l’AFM du mois d’avril‏
Ergo IA 2008 : L’humain au coeur des systèmes et de leur développements
"Le développement durable à l’échelle européenne, une opportunité en temps de crise"
15° Lambda Mu : risques et performances
Rendez-vous métrologie QSE - 14 mars 2011 à Arbouans (25)
[primeca] Thèse ENSAM Aix...
Afim - Appel à conférences Forum national de la maintenance
2eme Appel à communications SIRE’10 - Inforsid - Marseille
Journée découverte IPV - jeudi 10 décembre 2009




Home | Contact | Site | Plan | Admin