The Neptune days were created at the initiative of four members of the Neptune consortium – http://neptune.irit.fr - (Nice Environment with a Process and Tools Using Norms and Examples). They aim to make enable contacts during presentations, workshops and round-tables, between the various actors of the world of software engineering involved in the use and evolution of model-based software development processes. These days play a double role: critical evaluation and technology watch.
Copyright CS Communication&Systèmes, IRIT, Génie Logiciel
Organization Committee
Agusti Canals (CS Communication&Systèmes) - Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
Thierry Millan (IRIT) - Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
Jean-Claude Rault (Génie Logiciel) - Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
Slides
May 18th, 2010
| 09h00-09h15 |
Welcome and overview |
A. Canals (CS) |  |
| 09h15-10h00 |
Model inside |
T. Lecomte (Clearsy) | |
| 10h00-10h30 | MDE: Current issues | F. Kordon (LIP6, Univ. P. & M. Curie) | |
| 11h00-11h30 |
Petri nets standardization: state of the art and future challenges |
L. Hillah (LIP6 et Univ. Paris Ouest Nanterre La Défense) et L. Petrucci (LIPN, Univ. Paris 13)) | |
| 11h30-12h00 | Definition of a family pattern transformation models for the analysis of AADL models |
X. Renault (LIP6, Univ. P. & M. Curie) et J. Hugues (ISAE) |
|
| 14h00-14h30 | OMEGA2 - Profile & tools for system modelling and verification with UML 2.x & SysML | Iulian Ober, I. Dragomir (IRIT/MACAO) | |
|
Formal Methods Integration in the software development process |
I. Perseil (INSERM) et P. Leblanc (IBM) | |
|
| 14h30-15h00 | Design of a data-processing safety module with a generic functional software, interpretable and validable formaly | M. Antoni (SNCF) | |
| 15h30-16h00 |
Synopsis and perspectives of the SPaCIFY project : Model-Driven Engineering and Formal Methods for Spacecraft Systems |
A. Cortier (CNES-IRIT/ACADIE), P. Arberet (CNES), G. Garcia (Thales Alenia Space), A.-E. Rugina (Astrium) | |
| 16h00-16h30 | TACOS - Trustworthy Assembling of Components: frOm requirements to Specifications | H. Mountassir (Univ. de Franche-Comté) | |
| 16h30-17h30 |
Wrap-up and Round Table MDE and Formal Methods : close future? |
I. Ober (IRIT/MACAO), F. Kordon (LIP6, Univ. P. & M. Curie), I. Perseil (INSERM), A. Rossignol (ASTRIUM) |
May 19th, 2010
| 09h15-09h30 |
Welcome and overview |
T. Millan (IRIT) | |
| 09h30-10h35 | Keynote: MDE: from design-time to runtime | J.-M. Jezequel (Univ. Rennes 1 & INRIA) | |
| 10h35-11h10 | Applying MDE for the validation of correct Eclipse Plugin Bundles | G. Doux, M. Didonet del Fabro, F. Jouault, P. Albert, J. Bezivin, F. Madiot, S. Lee | |
| 11h45-12h20 |
Flexibility in embedded real-time applications: the Flex-eware Project |
J. Pulou (Orange-telecom) | |
| 12h20-12h55 | Applying MDE to Embedded System Design: First results and perspectives from the Lambda project | S. Demathieu (Thales), Y. Bernard (Airbus), L. Maillet-Contoz, (ST Microelectronics), M. Bordin, (Adacore) et F. Mallet (INRIA) | |
| 14h30-15h05 |
Assessing quality in SysML models |
O. Casse et M. Hause (Artisan) | |
| 15h05-15h40 | VETESS : MDE, Testing approaches and SysML | F. Fondement (Univ. de Haute Alsace), F. Peureux (Univ. de Franche-Comté), B. Legeard (Smartesting), C. Scherrer, M. Alter (Clemessy) | |
| 16h15-16h50 |
Functional validation with a practical SysML / Simulink transformation |
R. Snyder, D. Bocktaels, X. Feigenbaum (B2i automotive Engineering, Rungis, France) | |
| 16h50-17h25 | A SysML Based Approach to Perform FMEA | J. Shi, O. Alt, W. Kling, F. Schreiner | |
| 17h25-18h25 |
Wrap-up and Round Table MDE and SysML, MDE and embedded systems: close future? |
J.-M. Bruel (IRIT/MACAO), P. Roques (A2-ARTAL), F. Fondement (Univ. de Haute Alsace), X. Feigenbaum (B2i automotive Engineering, Rungis, France), J.-M. Jezequel (Univ. Rennes 1 & INRIA) |
|
Papers will be published in "Génie Logiciel - Magazine de l'ingéniérie du logiciel et des systèmes" during June
2010 Génie Logiciel - Magazine de l'ingéniérie du logiciel et des systèmes - GL & IS - 8, rue du Parc - 92190 MEUDON
