Différences

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

--- recherche:workshops:workshop2_acm [2019/03/28 07:28]
tigli [Schedule]
+++ recherche:workshops:workshop2_acm [2019/08/02 15:29]
lavirotte [DEVS and Simulation ...]
@@ Ligne 3: / Ligne 3: @@
 ====== 2nd Workshop on Actuation Conflict Management for IoT =====
-===== Actuation Conflict Simulation in IoT ...======
+===== DEVS and Simulation ...======
 == Thursday 28th March 2019 ==
@@ 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
+|||
 ===  University of Arizona Participants, US ===
@@ Ligne 70: / 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}}
-** Actuation Conflict Management Challenge for IoT **,
+speakers : Jean-Yves Tigli, Stéphane Lavirotte et al.
-speaker : Jean-Yves Tigli, Stéphane Lavirotte, Thibaut Gonnin
+** "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.
 :35 - 11:05:  ** "DEVS for IoT " **, speaker : Bernard Zeigler
+{{:recherche:workshops:devs_background.pdf|Slides}}
 :05 - 12:00:  ** Afternoon Agenda to define**, All
-:00- 14:00:  ** Lunch break **
+:00- 13:30:  ** Lunch break **
+: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
+  * 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
+  * 15:10 - 15:40 : ** I3S recent progress : How to decribe FSM with ECA, a formal approach ...**, Speaker : Thibaut Gonnin
-:00 - : ** Discussion on three main topics **
+  * 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 ?
+     * ...
-non exhaustive list of topics (to be completed) :
+:00 - 17:30 ** Discussion on other research topics (Non exhaustive list to be completed) : **
-  * DEVS simulation for testing FSM execution engine(Actuation Conflict Manager in ENACT)
   * 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 **

JY Tigli Homepages

Outils pour utilisateurs

Outils du site

Différences

Outils de la page