Programme de la journée GL/\CE Tools du 10 mai

Dans le cadre de l’animation du groupe de travail GL/\CE (Génie Logiciel pour les systèmes Cyber-physiquEs) du GdR, la journée du 10 mai sera placée sous le signe de la mise en commun d’outils de génie logiciel à destinations des CPS. 

Un grand merci au LIP6 qui nous héberge ! Il reste encore une place de disponible suite à un désistement (lien pour l’inscription: https://www.eventbrite.fr/e/billets-journee-glce-tools-24114101928)

Le programme de la journée est le suivant : 

• 09h15 - 09h45: Accueil
• 09h45 - 10h00: Lancement de la journée GL/\CE-Tool
   
• 10h00 - 12h15: Présentation des 5 outils (25 minutes max par outils)
  • ATSyRA (Attack Tree Synthesis and Risk Analysis)
  • Model executability within the GEMOC Studio 
  • Heterogeneous language coordination with the GEMOC Studio
  • Modèles de composants intégrant les besoins des CPS en réseau
  • Bridging the gap between Software Engineering and CPS
     
• 12h15 - 13h30: Déjeuner (identification des thématiques de l’après midi pendant le repas)
   
• 13h30 - 14h00: Elicitation des thématiques de l’après midi, constitution des groupes de travail
• 14h00 - 15h00: Travaux de groupes sur les thématiques
  • 15h00 - 15h30: "Firepitch" des résultats de chaque groupes, et pause / discussions
• 15h30 - 16h30: Continuation des travaux de groupes  
  • 16h30 - 17h00: Synthèse des résultats
     
• 17h00 - 18h00: Vie du groupe GL/\CE au sein du GdR GPL

Ci dessous les abstracts des présentations d'outils 

##
# ATSyRA (Attack Tree Synthesis and Risk Analysis)
##

Maxime Audinot <maxime.audinot@irisa.fr>

ATSyRA (Attack Tree Synthesis and Risk Analysis) est un outil de synthèse d'arbres d'attaques. On prend en entrée un modèle de bâtiment et un objectif d'attaque, exprimés dans un DSL et compilés en un système de transition symbolique. Ensuite, on génère l'ensemble des traces correspondant aux attaques par model-checking en utilisant ITS tools. Enfin, on factorise ces attaques sous la forme d'un arbre d'attaque, en privilégiant un vocabulaire de l'expert, donné sous forme de règles de grammaire hors-contexte.

##
# Model executability within the GEMOC Studio
##

Benoit Combemale <benoit.combemale@irisa.fr>

We will present the recent features included into the GEMOC studio (gemoc.org/studio) to weave executability into an EMF based modeling language, and possibly specify a formal and modular model of concurrency capturing the concurrency constraints of a given domain or platform. Such an eXecutable Domain-Specific Language (xDSML) is automatically deployed into the modeling workbench to provide an advanced execution environment, including graphical animation, omniscient debugging and concurrency analysis. 

##
# Heterogeneous language coordination with the GEMOC Studio
## 

Julien Deantoni <julien.deantoni@polytech.unice.fr>

TBA

##
# Modèles de composants intégrant les besoins des CPS en réseau
##

Jacques Malenfant <Jacques.Malenfant@lip6.fr>

Construire des systèmes cyber-physiques en réseau demeurent un défi pour le génie logiciel. La complexité des échanges avec le monde physique, l’introduction de fonctions de contrôle de l’automatique, les latences dues au réseau, la recherche d’une certaine généricité du logiciel, sa réutilisabilité, etc. sont autant de difficultés à prendre en compte dès la conception du système. Mes travaux des dernières années portent sur la conception d’un modèles de composants intégrant les besoins des systèmes cyber-physiques en réseau.  Cette présentation portera sur une partie de ces travaux en cours consistant à intégrer dans les composants une capacité d’auto-simulation dans un esprit « model@runtime ». Présentés sour la forme de greffons, ces modèles de simulation facilement (re)configurables visent à permettent de faire les choix de conception en matière de lois de contrôle, de mettre au point le système, de le valider, de le configurer au déploiement, de le vérifier, de l’adapter et de l’optimiser dynamiquement.

##
# Bridging the gap between Soft. Eng. and CPS 
## 

Cyril Cecchinel <cecchine@i3s.unice.fr>

Sensor networks are classically used in the Internet of Things to collect data, typically supporting Smart Cities or Smart Homes use cases. However, a deep knowledge of these networks is needed to properly develop applications over the deployed systems. This leads to a target mismatch: domain experts know how to exploit the collected data to develop large-scale “smart” systems, but do not have enough knowledge to technically enact and compose such behaviors on a given sensor network. We present a tooled approach that allows for data collection policies management at a higher level of abstraction, fostering reuse. The resulting architectures are then composable to be enacted on the same sensor network, but they can also be partially reused through a provided selection operator.