Différences

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

--- recherche:workshops:workshop3_acm [2019/07/16 18:18]
tigli [Schedule]
+++ recherche:workshops:workshop3_acm [2019/08/02 15:31]
lavirotte [FSM Execution Engine Model, Testing and Implementation]
@@ Ligne 3: / Ligne 3: @@
 ====== 3th Workshop on Actuation Conflict Management for IoT =====
-===== FSM Execution Engine Model, Test and Implementation ======
+===== FSM Execution Engine Model, Testing and Implementation ======
-== Wenesday 16th and Thursday 17th July 2019 ==
+== Wenesday 17th and Thursday 18th of July 2019 ==
-{{ :recherche:cog-scripted-svg-green.svg.png?200|}}
+{{ :recherche:workshops:arrows-2029158_960_720-678x381.png?300|}}
 =====
@@ Ligne 39: / Ligne 39: @@
 ** 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
 |||
@@ Ligne 58: / Ligne 58: @@
-====== Schedule ======
+====== 07/17/19 Agenda ======
+:00 - 10:30 : Pickup at the airport, Gaëtan Rey
 :30 - 10:00: Welcome Coffee
@@ Ligne 64: / Ligne 66: @@
 :00 - 10:15 : Round table
-:15 - 11:00 :
+:15 - 11:00 : ** "Actuation Conflict Management for DevOps for Iot in ENACT"  **
-** "Actuation Conflict Management for DevOps for Iot in ENACT"  **
 speakers : Jean-Yves Tigli, Stéphane Lavirotte et al.
-:00 - 11:45 :
+:00 - 11:45 : ** "Custom Safe and Reliable Actuation Conflict Manager (ACM)" **
-** "Custom Safe and Reliable Actuation Conflict Manager (ACM)" **
 speakers : Jean-Yves Tigli, Thibaut Gonnin et al.
@@ Ligne 82: / Ligne 80: @@
 speaker : Laurent Capocchi, Jean-François Santucci et al.
+// From past results and papers: Soulila Ph. D. on a DEVS model for FSM execution engine //
-:00- 13:30:  ** Lunch break **
+:15 - 15:00: ** Evolutionary Algorithms and Software testing **
-:30 - 15:00: ** Activity Recognition with synchronous language **, Ines Sarray
+speaker : Denis Pallez, I3S SPARKS Team
-: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
+:00 - 16:00 : **Coffee break** (during conf call ENACT WP3 for J.-Y. Tigli and S. Lavirotte)
-  * 15:10 - 15:40 : ** I3S recent progress : How to decribe FSM with ECA, a formal approach ...**, Speaker : Thibaut Gonnin
+:00 - 16:45:  ** Use Case and first simulation results with DevSimPy **,
-  * 15:40 - 16:00 : ** Discussion on this research topic **, All
+:45 - 18:00  ** What kind of Tests and Results ?**
-     * 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 ?
-     * ...
+   * Discussion
-:00 - 17:30 ** Discussion on other research topics (Non exhaustive list to be completed) : **
+:00 - 18:30: ** Mainlines of the journey **, Gaëtan Rey
-  * DEVS simulation for actuation conflict detection in a simulated physical environment (at design time in ENACT)
+** Overview, Summary, Issues **, All
-  * DEVS Simulation and Other Challenges in IoT
-// ** Further collaborations and future works ... ** //
+:30 - 17:45 :** 18th Agenda to adjust**, All
+:00 ** Dinner in Nice **
-:05 - 12:00:  ** 17th Agenda to adjust**, All
+====== 07/18/19 Agenda ======
-:00 ** Dinner in Nice **
+:30 - 10:30 :  ** Workshop on Paper Submission to MDE4IOT Workshop**,
-===== References on additional topics =====
+** Title  : Discrete-Event Modeling and Simulation for Actuation Conflict Management of IoT Systems **
+[[https://plmlatex.math.cnrs.fr/project/5cb8327665f54a5a752b87f5|Shared files]]
+nd International Workshop on Model-Driven Engineering for the Internet-of-Things (MDE4IoT)
+Co-located with MODELS'19, Munich, Germany [[http://www.es.mdh.se/MDE4IoT/|Web Site]]
+Authors: Laurent Capocchi, Jean-François Santucci, Thibault Gonnin, Jean-Yves Tigli, Stéphane Lavirotte
+Internal Reviewers during paper in progress : Gaëtan Rey, Denis Pallez
+:30 - 11:00 : ** Action plan **, All
+:00 - 12:00 and 13:00 - 16:00 : ** Paper writting and internal review**, All
+:00 : Back to the airport, Gaëtan Rey
+//Deadline on Friday evening//

JY Tigli Homepages

Outils pour utilisateurs

Outils du site

Différences

Outils de la page