Sites Web
http://neptune.irit.fr
http://www.c-s.fr
http://www.irit.fr/recherches/DCL/MACAO
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. Ils 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 utilisant des standards tels que les spécifications MDA (Model-Driven Architecture) proposées par l’OMG. 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. Cette démarche dirigée par les modèles met le modèle au centre des préoccupations des analystes/concepteurs. Leur élaboration devient donc centrale et leur validation un aspect essentiel en particulier lors de la réalisation de systèmes embarqués. Pour cette septième édition nous allons, donc, centrer ces journées sur la modélisation de tels systèmes et sur leur validation grâce aux méthodes formelles.
La modélisation de systèmes embarqués nécessite souvent l’utilisation de concepts particuliers absents de langages tels qu’UML. Elle nécessite donc l’utilisation de langages spécifiques tels que SysML.
La validation via des méthodes formelles permet de prouver une modélisation. Cette preuve est obtenue en transformant une modélisation dans un formalisme rigoureux et généralement basé sur les mathématiques. La preuve est alors obtenue par l’utilisation d’un prouveur qui réalise la démonstration généralement en mode interactif.
Les recherches, menées jusqu’à ce jour dans le cadre de collaborations académiques/industrielles montrent que ces technologies intéressent de plus en plus d’industriels. Elles ont pour effet non négligeable d’accroître la qualité de la conception et donc du code produit afin de garantir toutes les qualités que l’on exige de tels systèmes et donc de préparer efficacement les phases de certification.
L’objectif de ces septièmes Journées Neptune est de présenter un panorama des recherches incitatives dans le domaine du MDE et des systèmes embarqués. La première journée (18 mai) sera consacrée à l’utilisation des méthodes formelles pour valider une conception. La seconde (19 mai) sera dédiée, d’une part, a l’utilisation du formalisme SysML dans l’approche MDE et, d’autre part, à des projets permettant de valider des systèmes utilisant l’approche MDE.
Parrainages : ANR, Commission Européenne, Pôles de Compétitivité Aerospace Valley, Minalogic et System@tic
PROGRAMME
Mardi 18 mai
Allocution de bienvenue et Introduction, A. Canals (CS)
9h15-10h30 Session : MDE and Formal Methods
Animateur : Isabelle Perseil (Inserm)
• Model inside
T. Lecomte (Clearsy)
• MDE : current issues
F. Kordon (LIP6, Univ. P. & M. Curie)
• 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)
• Definition of a family pattern transformation models for the analysis of AADL models
X. Renault (LIP6, Univ. P. & M. Curie) et J. Hugues (ISAE)
12h00-14h00 Déjeuner
14h00-17h30 Session : MDE and Formal Methods (suite)
Animateur : Frédéric Lang (INRIA Rhône-Alpes)
• Formal methods integration in the software development process
I. Perseil (INSERM) et P. Leblanc (IBM)
• Design of a data-processing safety module with a generic functional software, interpretable and validable formally
M. Antoni (SNCF)
• 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) et A.-E. Rugina (Astrium)
• TACOS - Trustworthy Assembling of Components : From requirements to specifications
H. Mountassir (Université de Franche-Comté)
Partenaires : LACL, LAMIH, DEDALE, MAIA, LIFC
Synthèse et Table ronde
MDE and Formal Methods : Close future ?
Mercredi 19 mai 2010 – 9h00 à 17h30
9h00-10h50
• Allocution de bienvenue et Introduction, T. Millan (IRIT)
• MDE : from design-time to runtime
J.-M. Jezequel (Univ. Rennes 1 & INRIA)
• Applying MDE for the validation of correct Eclipse plug-in bundles
M. Didonet del Fabro1, G. Doux2, F. Jouault2, P. Alban1, J. Bezivin2, F. Madiot3
1-IBM France – Paris, 2 Atlas Mod (INRIA&EM Nantes), Nantes, 3 – MIA Software, Nantes
11h20-12h20 Session : MDE and Embedded Systems
Animateur : Pierre-Alain Muller (UHA)
• Flexibility in real-time embedded applications : the Flexeware Project
J. Pulou (Orange-telecom)
• 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)
13h00-14h30 Déjeuner
14h30-16h00 Session : MDE and SysML
Animateur : Pascal Roques (A2 ARTAL)
• Assessing quality in SysML models
O. Casse et M. Hause (Artisan)
• VETESS : MDE, testing approaches, and SysML
F. Fondement (Univ. de Haute Alsace), F. Peureux (Univ. de Franche-Comté), B. Legeard (Smartesting), C. Scherrer et M. Alter (Clemessy)
• Functional validation with a practical SysML / Simulink transformation
R. Snyder, D. Bocktaels et X. Feigenbaum (B2i Automotive Engineering, Rungis, France)
• A SysML-based approach to perform FMEA
J. Shi, O. Alt, W. Kling, F. Schreiner (Continental Engineering Services GmbH, Frankfurt, Germany )
Continental Teves AG & Co. oHG, Frankfurt, Germany
16h30-17h30 Synthèse et Table ronde : MDE and SysML, MDE and Embedded Systems : Close future ?
Les journées de travail « NEPTUNE »
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 du monde du génie logiciel 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.
Comité de programme
Présidence : Thierry Millan – IRIT/IUT et Agusti Canals – CS
Président Honoraire : Pierre Bazex – IRIT/UPS
Franck Barbier – LIUPPA/Netfective (F)
Bertrand Braunschweig – ANR (F)
Jean-Michel Bruel – IRIT (F)
Jordy Cabot – INRIA/EM de Nantes (F)
Juan Carlos Cruellas – UPC (E)
Patrick Farail – Airbus France (F)
Albert Fayos – GTD (E)
Frédéric Lang – INRIA Rhône-Alpes (F)
Yves Le Traon – Télécom Bretagne (F)
Michel Lacroix - Commission Européenne (F)
Jérôme Hugues – ISAE (F)
Pierre-Alain Muller – UHA (F)
Elie Najm – Télécom ParisTech (F)
Ileana Ober – IRIT/UPS (F)
Laurent Pautet – Télécom ParisTech (F)
Isabelle Perseil – Inserm (F)
Christian Percebois – IRIT/UPS (F)
Jean-Claude Rault – Génie Logiciel (F)
Pascal Roques – Artal A2 (F)
Alain Rossignol – ASTRIUM (F)
Nicolas Trèves – CNAM (F)
Comité d’organisation
Agusti Canals (CS)
Thierry Millan (IRIT)
Jean-Claude Rault (Génie Logiciel)
Renseignements & Organisation
Jean-Claude Rault : genie-logiciel(at)orange.fr
Tél. : 09 65 04 72 93, 01 46 26 25 20 ou 01 47 78 81 16 (sec.)
Télécopie : 01 46 23 82 93
Agusti Canals :
CS, Rue Brindejonc des Moulinais – Zac de la Grande Plaine
BP 5872 – 31506 Toulouse cedex 5
http://www.irit.fr/recherches/DCL/MACAO