Outils pour utilisateurs

Outils du site


recherche:workshops:workshop2_acm

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
Dernière révision Les deux révisions suivantes
recherche:workshops:workshop2_acm [2019/03/28 09:46]
tigli [Schedule]
recherche:workshops:workshop2_acm [2019/08/02 15:29]
lavirotte [DEVS and Simulation ...]
Ligne 37: Ligne 37:
 ** Laboratoire Sciences Pour l'​Environnement / UMR 6134 CNRS SPE Université de Corse ** ** Laboratoire Sciences Pour l'​Environnement / UMR 6134 CNRS SPE Université de Corse **
  
-Prof. Jean-François ​Cappochi, Head of the SIS Research Team  +Prof. Jean-François ​Santucci, Head of the SIS Research Team  
-Ass. Prof. Laurent ​Cappochi, SIS Research Team member+ 
 +Ass. Prof. Laurent ​Capochi, SIS Research Team member
 ||| |||
 {{:​recherche:​newlogoi3s.jpg?​100| }} {{:​recherche:​newlogoi3s.jpg?​100| }}
Ligne 49: Ligne 50:
 Ass. Prof. Gaëtan Rey, SPARKS Research Team member Ass. Prof. Gaëtan Rey, SPARKS Research Team member
  
-MSc Thibaut Gonnin, ​ SPARKS Research Team member+MSc Thibaut Gonnin, SPARKS Research Team member
  
 ||| |||
- 
  
 ===  University of Arizona Participants,​ US === ===  University of Arizona Participants,​ US ===
Ligne 72: Ligne 72:
  
 ** "​ENACT:​ Development,​ Operation, and Quality Assurance of Trustworthy Smart IoT Systems"​ ** ** "​ENACT:​ Development,​ Operation, and Quality Assurance of Trustworthy Smart IoT Systems"​ **
-[[https://​sintef.sharepoint.com/​:p:/​r/​sites/​enact/​_layouts/​15/​Doc.aspx?​sourcedoc=%7B4F8BEA4B-C20E-4472-B915-C508CD971C70%7D&​file=Technical_checkpoint_overall.pptx&​action=edit&​mobileredirect=true&​cid=7208b3f7-a00a-40c2-8e04-83958cc218b6| Slides of Nicolas Ferry, ENACT TEchnical Mananger, SINTEF]]+{{:recherche:workshops:technical_checkpoint_overall.pdf|Slides of Nicolas Ferry, ENACT Technical Manager, SINTEF}}
  
 speakers : Jean-Yves Tigli, Stéphane Lavirotte et al. speakers : Jean-Yves Tigli, Stéphane Lavirotte et al.
  
-** "IoT and Actuation Conflict Management Challenge, from Conflict Management at Design Time to Runtime Behavioral Drift Analysis"​ **, [[https://​sintef.sharepoint.com/​:p:/​r/​sites/​enact/​_layouts/​15/​Doc.aspx?​sourcedoc=%7B85206908-D740-41CA-9EEC-30CE1843E90D%7D&​file=Actuation%20throughout%20DevOps%20cycle.pptx&​action=edit&​mobileredirect=true&​cid=bf6d033d-63f5-459f-b226-66e755713b91|Slides]]+** "IoT and Actuation Conflict Management Challenge, from Conflict Management at Design Time to Runtime Behavioral Drift Analysis"​ **,{{:recherche:workshops:actuation_throughout_devops_cycle.pdf|Slides}}
  
 Speakers : Jean-Yves Tigli, Stéphane Lavirotte, Thibaut Gonnin et al. Speakers : Jean-Yves Tigli, Stéphane Lavirotte, Thibaut Gonnin et al.
  
-10:35 - 11:​05: ​ ** "DEVS for IoT " **, speaker : Bernard Zeigler  +10:35 - 11:​05: ​ ** "DEVS for IoT " **, speaker : Bernard Zeigler 
 +{{:​recherche:​workshops:​devs_background.pdf|Slides}} ​
  
 11:05 - 12:​00: ​ ** Afternoon Agenda to define**, All  11:05 - 12:​00: ​ ** Afternoon Agenda to define**, All 
Ligne 87: Ligne 87:
 12:00- 13:​30: ​ ** Lunch break ** 12:00- 13:​30: ​ ** Lunch break **
  
-13:30 - 15:00 : ** DEVS simulation for testing FSM execution engine(Actuation Conflict Manager in ENACT) **, Discussion on I3S/Corsica Univ. current collaboration,​ All+14:30 - 15:00: ** Activity Recognition with synchronous language **, Ines Sarray  
 + 
 +15:00 - 16:00: ** DEVS simulation for testing FSM execution engine(Actuation Conflict Manager in ENACT) **, Discussion on I3S/Corsica Univ. current collaboration,​ All
  
-  * 13:30 14:00 : ** Corsica Univ. : Past results : Soulila Ph. D. on a DEVS model for FSM execution engine **, Laurent Capocchi, Jean-François Santucci+  * 15:00 15:10 : ** Corsica Univ. : Past results : Soulila Ph. D. on a DEVS model for FSM execution engine **, Laurent Capocchi, Jean-François Santucci
  
-  * 14:00 14:30 : ** I3S recent progress : How to programm ​FSM with ECA, a formal approach **, Speaker : Thibaut Gonnin+  * 15:10 15:40 : ** I3S recent progress : How to decribe ​FSM with ECA, a formal approach ​...**, Speaker : Thibaut Gonnin
  
-  * 14:30 15:00 : ** Discussion on this research topic **, All+  * 15:40 16:00 : ** Discussion on this research topic **, All
      * How to generate test sets from FSM for DEVs Simulation ?       * How to generate test sets from FSM for DEVs Simulation ? 
      * How to evaluate the test coverage ?      * How to evaluate the test coverage ?
recherche/workshops/workshop2_acm.txt · Dernière modification: 2019/08/02 15:30 par lavirotte