Instituées sur l’initiative de quatre membres du consortium NEPTUNE – http://neptune.irit.fr – (Nice Environment with a Process and Tools Using Norms and Examples) et organisées avec le concours de la revue Génie Logiciel, les journées « NEPTUNE » ont pour vocation de constituer un lieu de rencontre, au travers de présentations et tables rondes, pour les différents acteurs des mondes du génie logiciel et de l'ingénierie de systèmes concernés par l’utilisation et l’évolution des processus de développement logiciel basés sur les modèles. Ces journées ont ainsi un double rôle d’évaluation critique et de veille technologique.
Copyright CS Communication&Systèmes, IRIT, Génie Logiciel
Comité d'organisation
Agusti Canals (CS Communication&Systèmes) - agusti[dot]canals[at]c-s.fr
Thierry Millan (IRIT) - millan[at]irit.fr
Elie Najm (Télécom ParisTech) – Elie.Najm[at]Telecom-ParisTech.fr
Jean-Claude Rault (Génie Logiciel) - genie-logiciel[at]wanadoo.fr
Slides
17 mai 2011
| 09h00-09h15 |
Accueil et présentation des journées NEPTUNE 2011 |
A. Canals (CS Communication&Systèmes) |  |
| 09h15-10h15 | 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) | |
| 10h45-11h15 | Mise en pratique de la transformation de modèle et de la traçabilité avec MDWorkbench | S. Sadvandi, R. Chevrel et M. Vacher (Sodius) | |
| 11h15-11h45 |
Projet ADAMS : MARTE & AADL mise en correspondance des concepts |
L. Rioux et M. Faugère (THALES Research & Technology) | |
| 11h45-12h15 | Modèles système, modèles logiciel et modèles de code dans les applications spatiales | E. Conquet (ESA), F.-X. Dormoy (Esterel Technologies), I. Dragomir (IRIT), A. Le Guennec (Esterel Technologies), D. Lesens (Astrium Space Transportation), P. Nienaltowski (Altran Praxis), I. Ober (IRIT) | |
| 14h00-14h30 | Des exigences au binaire avec TASTE | J. Delange et M. Perrotin (ESA) | |
| 14h30-15h00 |
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 (Université de Bretagne Sud) et S. Turki (Université de Taif - Arabie Saoudite) | |
| 15h30-16h00 | 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) | |
| 16h00-16h30 |
Méthode formelle: de la théorie à la pratique - cas concret dans le ferroviaire |
M. Antoni et N. Ammad (SNCF) | |
| 16h40-17h40 | Bilan et Synthèse de la Journée Table Ronde : Les transformations de modèles mythes ou réalités |
J.-M. Bruel (IRIT), X. Warzee (Microsoft France), S. Sadvandi (Sodius), D. Blouin (Université de Bretagne Sud), J. Delange (ESA) | |
| 17h40-19h40 | Histoire des anneaux de NEPTUNE |
A. Brahic (CEA) |
18 May 2011
| 09h00-09h15 |
L’IDM : où en est-on ? |
T. Millan (IRIT) | |
| 09h15-10h00 | 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) | |
| 10h30-11h00 | 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) | |
| 11h00-11h30 | MDT : Papyrus : état actuel et perspectives | V. Loranzo et S. Gérard (CEA) | |
| 11h30-12h00 | Migration d'applications client-serveur et génération de code | B. Pons (Banque de France), F. Ramière et N. Romanetti (Jaxio) | |
| 14h00-14h30 | Topcased à Airbus, un déploiement dans l’industrie | C. Besseyre, P. Gaufillet et J.-P. Giacometti (Airbus) | |
| 14h30-15h00 | 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 et N. Desnos (IRIT) | |
| 15h30-16h00 | Illustration et utilisation de l'approche TERESA dans l'industrie | C. Jouvray (Trialog) | |
| 16h00-16h30 | 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 (ENSTA Bretagne - France) | |
| 16h30-17h00 | Recherche en IDM dans les projets ANR | Franck Barbier (ANR) | |
| 17h00-17h30 | Conclusion/Débat | A. Rossignol (ASTRIUM) et E. Najm (Télécom ParisTech) | |
Les meilleurs papiers seront publiés dans la revue "Génie Logiciel - Magazine de l'ingéniérie du logiciel et des systèmes" durant le mois de juin 2011 Génie Logiciel - Magazine de l'ingéniérie du logiciel et des systèmes - GL & IS - 8, rue du Parc - 92190 MEUDON
