METHODES / METHODS > NEPTUNE 2010 -MODEL-DRIVEN ENGINEERING : MDE & Embedded Systems

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

Knowllence relaye une information de Génie Logiciels
NEPTUNE 2010 -MODEL-DRIVEN ENGINEERING : MDE & Embedded Systems
CALL FOR PARTICIPATION - Toulouse Tuesday, May 18 and Wednesday, May 19 2010
lundi 18 janvier 2010 , Sandrine Beaujon


Model-Driven Engineering, and especially model-based development processes have always been the focal point of the "Neptune Days". The paradigm upon which they are based no longer considers the source code as a central element of software ; it is rather considered as an element derived from model units. More generally, the source code becomes an element derived from the fusion or interweaving of model units.

This approach becomes increasingly more crucial in the context of software and hardware architectures driven by standards such as MDA (Model-Driven Architecture), proposed by the standards authority OMG, Microsoft’s Software Factories or IBM’s proposal of EMF (Eclipse Modelling Software) tools. Such systems of architecture naturally find their place in model-based development processes where, at each modelling level, they ensure that the models exhibit the required properties.

The model-driven approach places models at the centre of concerns for analysts/designers. Consequently, implementing and validating models becomes the main focus, in particular in the case of embedded systems. For this reason, the seventh edition of the Neptune Days is focused on modelling embedded systems and on their validation using formal methods. Modelling embedded systems usually requires using special concepts absent from languages such as UML, thereby introducing a need for utilising special languages such as SysML. Formal methods enable designers to prove their modelling ; proofs are obtained by transforming models into rigorous formalisms, usually based on mathematics, and then applying a prover that performs demonstrations, typically in interactive mode.

To date, research in this area has been carried out in a context of a collaboration between academics and industry but mainly for critical applications, for instance in aeronautics and space. The resulting technologies have proven to enable tight control of design processes. One appreciable effect has been to reduce the overall time required for the software design, debugging, production, and maintenance stages while, at the same time, guaranteeing the required level of quality.

The objective of the 7th "Neptune Days" is therefore to present an organised review of research regarding MDE and embedded systems. The first day (May 18) will be devoted to the use of formal methods in validating designs. The second day (May 19) will be dedicated to the use of SysML in MDE, and also to projects allowing one to validate and prove systems based on the MDE approach.

Sponsoring : European Commission and Competitiveness poles : Aerospace Valley, Minalogic, and System@tic

PROGRAMME

Tuesday, May 18

Welcome address, 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)

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 ?

Wednesday, May 19 – 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)

14h30-16h00 Session : MDE and SysML Moderator : 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 Panel : MDE and SysML, MDE and Embedded Systems : Close future ?

Neptune Days

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 foster 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. The Neptune Days play a double role : critical evaluation and technology watch.

Program Committee

Co-chairs : Thierry Millan – IRIT/IUT et Agusti Canals – CS Honorary Chair : 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)

Steering Committee

Agusti Canals (CS) – agusti.canals[at]c-s.fr Thierry Millan (IRIT) – millan[at]irit.fr Jean-Claude Rault (Génie Logiciel) – genie-logiciel[at]orange.fr

Actes des Journées NEPTUNE 2004 : revue Génie Logiciel, n° 69, juin 2004 2005 : revue Génie Logiciel, n° 73, juin 2005 2006 : revue Génie Logiciel, n° 77, juin 2006 2007 : revue Génie Logiciel, n° 81, juin 2007 2008 : revue Génie Logiciel, n° 85, juin 2008 2009 : revue Génie Logiciel, n° 89, juin 2009 et n° 90, septembre 2009

Information & Organisation Jean-Claude Rault : genie-logiciel[at]orange.fr Tel. : +331 46 26 25 20 or 01 47 78 81 16 (sec.) Fax : +331 46 23 82 93

Agusti Canals : agusti.canals[at]c-s.fr CS, Rue Brindejonc des Moulinais – Zac de la Grande Plaine BP 5872 – 31506 Toulouse cedex 5 http://www.irit.fr/recherches/DCL/MACAO


INFORMATION REQUEST to be returned to genie-logiciel[at]orange.fr

Name :…………………………………….….… First Name :……………………………….……… Organization : ………………….…… Mail : ……………………………………… Phone :…………………………………….

( ) is interested ( ) intend to attend ( ) wishes to receive the full program booklet

   


Appel à communications SIRE’2010
CALL-FOR-PAPER : 15th International Conference on Information Fusion (Fusion 2012)
Call for Participation : ICSSEA 2010 22nd International Conference " Software & Systems Engineering and their Applications"
[primeca] CFP 1st Workshop to Foster Publication in Engineering Design
Valdor 2009 : VALDOR scientific programme 2009
Impliquer chacun dans la modernisation de l’action publique
Afim - Appel à conférences - Forum international de la maintenance
[primeca] Thèse ENSAM Aix...
Mois de la Qualité 2009 en Franche-Comté : A vos agendas...
Et si nous réussissions ensemble un grand projet ... à Chamonix !




Home | Contact | Site | Plan | Admin