La 13e édition des Journées annuelles NEPTUNE se

L’INGÉNIERIE DIRIGÉE PAR LES MODÈLES
IDM pour les systèmes embarqués critiques
IDM, sécurité et sûreté
Les journées de travail « NEPTUNE »
Issue du domaine du logiciel, l’Ingénierie Dirigée par les Modèles
(IDM) place les modèles au cœur du processus de développement
en proposant des langages spécialisés, des transformations et des
tissages successifs depuis les abstractions métiers vers l’application
finale. Cette approche, centrée sur les modèles informatiques,
représente une vision en silo où l’accent est mis sur
l’informatisation, en faisant souvent abstraction de la complexité
croissante des systèmes réalisés. Toutefois, cette complexité
croissante n’est pas sans effet pour l’application produite. Elle rend
ces systèmes difficiles à maîtriser et il devient ardu d’assurer qu’ils
sont exempts de tout dysfonctionnement et de toute faille
permettant à des personnes mal intentionnées de les attaquer. Ces
failles ou dysfonctionnements peuvent entraîner au mieux des
pertes financières ou d’image de marque pour les entreprises qui les
utilisent ou les commercialisent et au pire des pertes humaines.
Pour pallier ces dysfonctionnements, il faut dès les premières
phases de spécification prendre en compte les aspects liés à la
sécurité et à la sûreté. Ces deux notions diffèrent par le fait que la
sûreté est liée aux risques de nature accidentelle provenant du
système, tandis que la sécurité est liée aux risques d’origine
malveillante. Néanmoins, les risques et les exigences liés à la ces
deux notions convergent et peuvent avoir des interactions mutuelles
qu’il est essentiel d’intégrer au plus près de la modélisation.
Pour leur treizième édition, la journée NEPTUNE s’intéresse à la
prise en compte dans l’IDM des aspects liés à la sécurité. En effet,
l’aspect sécurité étant un point essentiel lors de la réalisation de
système, il faut le prendre en compte le plus tôt possible dans le
cycle de développement et l’intégrer lors de la conception des
modèles et tout au long du processus de transformation desdits
modèles. La première demi-journée se focalisera sur les systèmes
embarqués critiques avec en particulier des retours d’expérience
dans l’automobile et le ferroviaire. La seconde demi-journée
abordera plus spécifiquement l’IDM et la sécurité avec des retours
d’expérience dans le domaine de l’énergie. Ces deux demi-journées
seront clôturées par des tables rondes qui seront un moment
d’échange entre les participants.
e
La 13 édition des Journées annuelles NEPTUNE se
déroulera conjointement avec la 27e édition des
Journées annuelles internationales ICSSEA 2016
25-27 mai 2016
www.icssea.org
Parrainages : ANR, Commission Européenne, Pôles de
Compétitivité Minalogic, System@tic et Aerospace Valley
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.
26 mai 2016 - 14h00 à 17h00
26 mai 2016 – 9h00 à 12h30
9h00
9h15
Accueil et présentation de la journée
NEPTUNE 2016
Agusti Canals – CS Communication & Systèmes
Session : IDM & Systèmes Embarqués Critiques
Animateur : Étienne Borde – Telecom ParisTech
Composition de transformations de modèles pour
9h15 l’optimisation multi-objectif d’architecture de
9h45 systèmes embarqués
Étienne Borde – Telecom ParisTech
Modélisation des systèmes cyber-physiques
9h45
complexes sur tout le cycle de vie
10h15
Thuy Nguyen – EDF R&D Chatou, France
10h15-10h45
Pause
Déploiement de modèles Simulink sur plates10h45 formes AUTOSAR (AUTomotive Open System
11h15 ARchitecture) multi cœurs
Witold Klaudel – Renault
Anticipation de performances non-fonctionnelles
11h15
d’un système embarqué ferroviaire
11h45
Élie Soubiran – Alstom Transport
Table ronde : IDM &systèmes critiques, qu’en
est-il ?
11h45
Animateur : Étienne Borde – Telecom
12h30
ParisTech
Participants : Les orateurs
14h00
14h30
14h30
15h00
Session : IDM, Sécurité & Sûreté
Animateur : Vanea Chiprianov – UPPA
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)
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
15h00-15h15
Pause
Embedded Software Engineering Reloaded 15h15 mbeddr - Experience report about the
15h45 development of a smart meter
Firas Bacha – Itemis (D,F)
Modélisation conjointe de la sûreté et de la
15h45 sécurité pour l’évaluation des risques dans les
16h15 systèmes cyber-physiques
Siwar Kriaa – EDF & Centralesupélec
Table ronde : IDM, Sûreté & Sécurité, qu’en
est-il ?
16h15
Animateur : Jean-René Ruault – AFIS &
17h00
LAMIH
Participants : les orateurs
Conférence
Invitée :
CONNEXION,
une
17h00 application d’ampleur de l’ingénierie dirigée par
18h00 les modèles – Un bilan à mi-parcours
Catherine Devic – EDF
Comité de programme
Présidence : Thierry Millan – IRIT et Agusti Canals –
CS Communication &Systèmes
Président Honoraire : Pierre Bazex – IRIT/UPS
Laurent Beugnet – Airbus (F)
Mireille Blay-Fornarino – UNICE (F)
Jean-Michel Bruel – IRIT (F)
Isabelle Borne – UBS (F)
Étienne Borde – Telecom Paristech
Juan Carlos Cruellas – UPC (E)
Albert Fayos – GTD (E)
Jérôme Hugues – ISAE (F)
Olivier Le Goaer – UPPA (F)
Renan Leroux - Altran (F)
Pierre-Alain Muller – UHA (F)
Élie Najm – Télécom ParisTech (F)
Ileana Ober – IRIT/UPS (F)
Christian Percebois – IRIT/UPS (F)
Jean-Claude Rault – Génie Logiciel (F)
Pascal Roques – PRFC (F)
Nicolas Trèves – CNAM
Comité d’organisation
Agusti Canals (CS Communication & Systèmes)
[email protected]
Thierry Millan – IRIT
[email protected]
Étienne Borde – Télécom ParisTech)
[email protected]
Jean-Claude Rault – Génie Logiciel
[email protected]
Renseignements & Organisation
RENSEIGNEMENTS PRATIQUES
Date
Jeudi 26 mai 2016, 8h30-18h00
Lieu
Amphithéâtre B310
Télécom ParisTech
46, rue Barrault
75013 Paris
Transports
Métro : Ligne 6, station Corvisart
RER : Ligne B, gare Cité Universitaire (15 mn. à pied) ou DenfertRochereau puis métro ligne 6
Autobus : Ligne 62 (Vergniaud), 21 (Daviel) ou 67 (Bobillot)
Vélib' : Station 13022 (face aux 27 et 36 rue de la Butte aux
Cailles) ou 13024 (face au 81, rue Bobillot)
http://www.telecom-paristech.fr/telecom-paristech/adresses-accescontacts.html
Droits d’inscription
Prix (TTC)
Conférence
Déjeuner
Industriel
350,00 €
Universitaire
230,00 €
30,00 €
Bulletin d’inscription : voir : feuillet intercalaire
voir : http://neptune.irit.fr
Annulation
Jean-Claude Rault : [email protected]
Tél. : 09 65 04 72 93 ou 01 47 78 81 16 (sec.)
Agusti Canals : [email protected]
Rue Brindejonc des Moulinais – Zac de la Grande Plaine
BP 5872 – 31506 Toulouse cedex 5
Sites Web
http://neptune.irit.fr
http://www.c-s.fr
http://www.irit.fr/-Equipe-MACAO-?lang=fr
http://www telecom-paristech.fr
Liste de diffusion
[email protected]
Journées de Travail NEPTUNE‘2016
Le remboursement des droits d’inscription sera possible pour toute
demande écrite parvenant avant le 17 mai 2016. Aucun
remboursement ne sera effectué après cette date.
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
2010 : revue Génie Logiciel, n° 93, juin 2010
2011 : revue Génie Logiciel, n° 97, juin 2011
2012 : revue Génie Logiciel, n° 101, juin 2012
2013 : revue Génie Logiciel, n° 105, juin 2013
2014 : revue Génie Logiciel, n° 109, juin 2014
2015 : revue Génie Logiciel, n° 113, juin 2015
IDM et systèmes embarqués critiques
IDM, sécurité & sûreté
Télécom ParisTech
Jeudi 26 mai 2016