Différences

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

--- recherche:workshops:workshop2_acm [2019/03/28 07:11]
tigli [Actuation Conflict Simulation in IoT ...]
+++ recherche:workshops:workshop2_acm [2019/04/01 19:19]
tigli [Schedule]
@@ 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 48: / Ligne 48: @@
 Ass. Prof. Gaëtan Rey, SPARKS Research Team member
+MSc Thibaut Gonnin,  SPARKS Research Team member
 |||
@@ Ligne 67: / Ligne 69: @@
-:45 - 11:05:  ** "Actuation Management Challenge for IoT" **, speaker : Jean-Yves Tigli
+:15 - 10:35:
-:05 - 11:35:  ** "Synchronous Models, Languages and Validation Tools (ex. Light Esterel)" **, speaker : Daniel Gaffe
+** "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}}
-:35 - 11:55:  ** "Simulation and Models with DEVS formalism (Discrete Event System Specification)" **, speaker : Jean-François Santucci
+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" **,{{:recherche:workshops:actuation_throughout_devops_cycle.pdf|Slides}}
-:55 - 12:25:  ** "Possibly exhaustive simulation of your DSL" **, speaker : Julien Deantoni
+Speakers : Jean-Yves Tigli, Stéphane Lavirotte, Thibaut Gonnin et al.
+:35 - 11:05:  ** "DEVS for IoT " **, speaker : Bernard Zeigler
-:25 - 13:30: Lunch break
+:05 - 12:00:  ** Afternoon Agenda to define**, All
+:00- 13:30:  ** Lunch break **
-:30 - 14:00:  ** "ENACT: Development, Operation, and Quality Assurance of Trustworthy Smart IoT Systems" **, speaker : Nicolas Ferry
+: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
-:00 - 14:30:  ** Actuation systems simulation in ENACT ** - speaker : Franck Dechavanne
+  * 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
-:30 - 15:00:  ** {{:collaborations_recherche:workshop_nice_i3s_9_11_2018.pdf|Discrete Event Modeling and Simulation for IoT Efficient Design}} ** - speaker : L. Capocchi
+  * 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:00: ** Discussion **
+: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
-non exhaustive list of topics (to be completed) :
+// ** Further collaborations and future works ... ** //
-  * Conceptual Model and Operational Model
-  * Tools for simulation and Tests
+:00 ** Dinner at the Santana Restaurant in the Saint Laurent du Var Marina **
 ===== References on additional topics =====

JY Tigli Homepages

Outils pour utilisateurs

Outils du site

Différences

Outils de la page