METHODES / METHODS > 2ème APPEL A PARTICIPATION : Septièmes Journées Annuelles NEPTUNE

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

2ème APPEL A PARTICIPATION : Septièmes Journées Annuelles NEPTUNE
L’INGÉNIERIE DIRIGÉE PAR LES MODÈLES : MDE et Systèmes embarqués
mercredi 27 janvier 2010 , Sandrine Beaujon


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

   


ENSAM Metz recherche un Maître de Conférence
Innovez et maîtrisez les risques dans le biomédical
Mois de la Qualité 2009 en Franche-Comté : A vos agendas...
Recherche d’une thèse CIFRE
Rappel - Congrès de Maîtrise des Risques et Sûreté de fonctionnement, Lambda Mu 18 - Appel à communications‏
Edito Lettre du Pôle Véhicule du Futur
Accelerated Life Testing, Reliability-basedAnalysis and Design
Invitation "Mairies et collectivités" : démonstration de TDC Sécurité
Intelligence économique et marché chinois
A lire d’Emblée, e-lettre de l’ARIST Franche-Comté




Home | Contact | Site | Plan | Admin