Différences

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

--- recherche:workshops:workshop2_acm [2019/03/28 08:27] – [Schedule] tigli
+++ recherche:workshops:workshop2_acm [2019/08/02 13:29] – [DEVS and Simulation ...] lavirotte
@@ Ligne 37: / Ligne 37: @@
 ** 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| }}
@@ Ligne 49: / Ligne 50: @@
 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 ===
@@ Ligne 72: / Ligne 72: @@
 ** "ENACT: Development, Operation, and Quality Assurance of Trustworthy Smart IoT Systems" **
+{{:recherche:workshops:technical_checkpoint_overall.pdf|Slides of Nicolas Ferry, ENACT Technical Manager, SINTEF}}
-speaker : 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" **,
+** "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}}
-Speaker : Jean-Yves Tigli, Stéphane Lavirotte, Thibaut Gonnin et al.
+Speakers : Jean-Yves Tigli, Stéphane Lavirotte, Thibaut Gonnin et al.
-:35 - 11:05:  ** "DEVS for IoT " **, speaker : Bernard Zeigler
+:35 - 11:05:  ** "DEVS for IoT " **, speaker : Bernard Zeigler
+{{:recherche:workshops:devs_background.pdf|Slides}}
 :05 - 12:00:  ** Afternoon Agenda to define**, All
@@ Ligne 86: / Ligne 87: @@
 :00- 13:30:  ** Lunch break **
-:30 - 15:00 : ** DEVS simulation for testing FSM execution engine(Actuation Conflict Manager in ENACT) **, Discussion on I3S/Corsica Univ. current collaboration, All
+:30 - 15:00: ** Activity Recognition with synchronous language **, Ines Sarray
+: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 evaluate the test coverage ?
      * ...
-:00 - 17:30 non exhaustive list of other researcjh topics (to be completed) :
+:00 - 17:30 ** Discussion on other research topics (Non exhaustive list to be completed) : **
   * DEVS simulation for actuation conflict detection in a simulated physical environment (at design time in ENACT)
   * DEVS Simulation and Other Challenges in IoT
-Further collaborations and future works ...
+// ** Further collaborations and future works ... ** //
 :00 ** Dinner at the Santana Restaurant in the Saint Laurent du Var Marina **