Différences

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

--- recherche:workshops:workshop2_acm [2019/03/28 06:28] – [Schedule] tigli
+++ recherche:workshops:workshop2_acm [2019/08/02 13:30] (Version actuelle) – [DEVS and Simulation ...] lavirotte
@@ 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 56: / Ligne 58: @@
 {{ :recherche:workshops:logo_unive_arizona.jpg?100|}}
-Prof. BERNARD P. ZEIGLER, Chief Scientist at RTSync Corp., Professor Emeritus of Electrical and Computer Engineering at the University of Arizona (UA) and Affiliated Research Professor in the C4I Center at George Mason University
+Prof. Bernard P. Zeigler, Chief Scientist at RTSync Corp., Professor Emeritus of Electrical and Computer Engineering at the University of Arizona (UA) and Affiliated Research Professor in the C4I Center at George Mason University
@@ 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 **