Appel à participation à la Journée 2016 du GT SDS : Systèmes-de-systèmes à logiciel prépondérant

APPEL À PARTICIPATION

JOURNÉE SYSTÈMES-DE-SYSTÈMES À LOGICIEL PRÉPONDÉRANT
organisée par le GT SDS du GDR GPL
http://gdr-gpl.cnrs.fr/Groupes/SDS/Description/
http://gt-sds.systems-of-systems-engineering.org/

Date : le mercredi 30 mars 2016

Lieux : IRISA/INRIA, Campus de Beaulieu, Rennes
http://www.inria.fr/centre/rennes/presentation/infos-pratiques

Inscription : journée ouverte et gratuite sur inscription par email avant le 29 mars midi : gt-sds-resp@inria.fr

Programme :

Session 1. Accueil et introduction
09h30 - 09h40 : Axel Legay, Khalil Drira, Flavio Oquendo – Ouverture de la journée systèmes-de-systèmes
09h40 – 10h00 : Flavio Oquendo – Systèmes-de-systèmes : quels défis pour le génie de la programmation et du logiciel ?

Session 2. Architecture de systèmes-de-systèmes
10h00 – 10h20 : Flavio Oquendo – Description et analyse d'architectures logicielles de systèmes-de-systèmes
10h20 – 10h40 : Jean Quilbeuf – Vérification d'architectures logicielles dynamiques (vers la vérification de systèmes-de-systèmes)
10h40 – 11h00 : Khalil Drira – Modélisation multi-échelle d'architectures de systèmes-de-systèmes

11h00 – 11h20 : Pause café

Session 3. Vérification et validation de systèmes-de-systèmes
11h20 – 11h40 : Axel Legay – Méthodes statistiques efficientes pour la vérification de systèmes-de-systèmes
11h40 – 12h00 : Saddek Bensalem – Conception rigoureuse de systèmes
12h00 – 12h20 : Vanea Chiprianov – Vers la modélisation, visualisation, exécution et simulation des systèmes-de-systèmes
12h20 – 12h40 : Robin Bussenot – Langage de test spécifique à l'intégration système

12h40 – 14h00 : Pause déjeuner

Session 4. Systèmes-de-systèmes industriels
14h00 – 14h20 : Eric Goubault – Activités de la chaire « Ingénierie des Systèmes Industriels Complexes »
14h20 – 14h40 : Parisa Ghodous – Interopérabilité de systèmes-de-systèmes appliquée aux réseaux dynamiques de systèmes manufacturiers

Session 5. Support à la modélisation de systèmes-de-systèmes
14h40 – 15h00 : Benoit Combemale – Sur la globalisation des langages de modélisation
15h00 – 15h20 : Jessie Carbonnel – Etude de la variabilité des lignes de produits logiciels multiples par analyse relationnelle de concepts

15h20 – 15h40 : Pause café

Session 6. Support à la formalisation de systèmes-de-systèmes
15h40 – 16h00 : Jean-Bernard Stefani – Location graphs : un modèle formel pour la conception de systèmes à composants
16h00 – 16h20 : Khalil Ghorbal – Vers la sémantique formelle d'équations différentielles algébriques multimode

Session 7. Vers un agenda de recherche sur les systèmes-de-systèmes à logiciel prépondérant
16h20 – 17h00 : Discussion et conclusion

Les présentations donneront lieu à un numéro spécial de la Revue des Nouvelles Technologies de l'Information (RNTI) intitulé "Panorama des Systèmes-de-Systèmes en France : Recherches et Applications".

Responsables du GT SDS :

Flavio Oquendo, IRISA, flavio.oquendo@irisa.fr
Axel Legay, INRIA, axel.legay@inria.fr
Khalil Drira, LAAS, khalil@laas.fr