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
   


AFM - 10ème COLLOQUE MODELISATION ET SIMULATION NUMERIQUE DU SOUDAGE - 22 mars 2012‏
AFM - *** SIMULATION NUMÉRIQUE DU SOUDAGE : 10 ANS DE PROGRÈS EN FRANCE ***‏
Programme Congrès PENTOM 2009
Journée découverte IPV - jeudi 10 décembre 2009
[primeca] 5 ouvrages en génie mécanique
6th International Conference oin Digital Enterprise Technology (DET 2009)
[primeca] Formation : De la planification à capacité infinie à l’ordonnancement à capacité finie
Mobilis 2011 : nouveau site, programme et inscription
Congrès en Surveillance de Machines en conditions non stationnaires
[primeca] TR : Invitation à la soutenance de thèse de D. Van Wijk




Home | Contact | Site | Plan | Admin