Journées NEPTUNE

Telecom ParisTech

Paris, 17-18 mai 2011

 L’INGÉNIERIE DIRIGÉE PAR LES MODÈLES : Un bilan critique

 Sites Web
http://neptune.irit.fr
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. Lorenzo (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@orange.fr
Tél. : 09 65 04 72 93 ou 01 47 78 81 16 (sec.)
Télécopie : 01 46 23 82 93

 Agusti Canals : agusti.canals@c-s.fr
CS – Rue Brindejonc des Moulinais – Zac de la Grande Plaine
BP 5872 – 31506 Toulouse cedex 5

 
Thierry Millan : millan@irit.fr
Université Paul Sabatier – IRIT - CNRS UMR-5505 – 118, route de Narbonne – 31062 Toulouse Cedex

________________________________________________________________________________________

DEMANDE D’INFORMATION

À retourner à
Jean-Claude Rault
genie-logiciel@orange.fr

 Nom
Prénom
Organisme

(  )  est intéressé
(  )  envisage de participer
(  )  souhaite recevoir la brochure complète