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
Etienne Borde (Télécom ParisTech) – etienne.borde[at]telecom-paristech.fr
Jean-Claude Rault (Génie Logiciel) - genie-logiciel[at]orange.fr

 

Slides

26 Mai 2016

 

9h00-9h15
Accueil et présentation des journées NEPTUNE 2016
Agusti Canals (CS Communication&Systèmes)  
9h15-9h45

Composition de transformations de modèles pour l’optimisation multi-objectif d’architecture de systèmes embarqués

Étienne Borde (Telecom ParisTech) Français
9h45-10h15 Modélisation des systèmes cyber-physiques complexes sur tout le cycle de vie Thuy Nguyen (EDF R&D Chatou, France)
10h45-11h15 Déploiement de modèles Simulink sur plates-formes AUTOSAR (AUTomotive Open System ARchitecture) multi cœurs Witold Klaudel (Renault)
11h15-11h45 Anticipation de performances non-fonctionnelles d’un système embarqué ferroviaire Élie Soubiran (Alstom Transport)

Contacter M. Soubiran
pour les transparents

elie.soubiran[at]transport[dot]alstom[dot]com

11h45-12h30 Table ronde : IDM &systèmes critiques, qu’en est-il ? Participants : les conférenciers
Animateur : Étienne Borde (Telecom ParisTech)
 
14h00-14h30 Une approche basée sur l’ingénierie dirigée par les modèles pour identifier, concevoir et évaluer des aspects de sécurité Denisse Muñante (Université de Trente (I))
14h30-15h00 Vers la modélisation et l’analyse dirigées par les modèles de la sécurité des systèmes de systèmes Vanea Chiprianov (UPPA)
15h15-15h45 Embedded Software Engineering Reloaded - mbeddr - Experience report about the development of a smart meter Firas Bacha (Itemis (D,F))
15h45-16h15 Modélisation conjointe de la sûreté et de la sécurité pour l’évaluation des risques dans les systèmes cyber-physiques

Siwar Kriaa (EDF & Centralesupélec)

16h15-16h45

Table ronde : IDM, Sûreté & Sécurité, qu’en est-il ?

Participants : les conférenciers
Animateur : Jean-René Ruault (AFIS & LAMIH)

 

 

 

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 2016 Génie Logiciel - Magazine de l'ingéniérie du logiciel et des systèmes - GL & IS - 8, rue du Parc - 92190 MEUDON