Différences

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

--- recherche:workshops:workshop3_acm [2019/07/16 16:55] – [References on additional topics] tigli
+++ recherche:workshops:workshop3_acm [2019/08/02 13:31] (Version actuelle) – [FSM Execution Engine Model, Testing and Implementation] lavirotte
@@ 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 53: / Ligne 53: @@
 Invited : Ass. Prof. Gaëtan Rey, SPARKS Research Team member
-Invited : MSc Thibaut Gonnin,  SPARKS Research Team member
+Invited : MSc Thibaut Gonnin,  SPARKS Research Team member (joined meeting by audio)
 Invited : Ass. Prof. Denis Pallez, SPARKS Research Team member
-====== 07/16/19 Agenda ======
+====== 07/17/19 Agenda ======
 :00 - 10:30 : Pickup at the airport, Gaëtan Rey
@@ Ligne 82: / Ligne 82: @@
 // From past results and papers: Soulila Ph. D. on a DEVS model for FSM execution engine //
-:15 - 15:00: ** Evalutionary Algorithms and Software testing **
+:15 - 15:00: ** Evolutionary Algorithms and Software testing **
 speaker : Denis Pallez, I3S SPARKS Team
-:00 - 15:45:  ** Use Case and first simulation results with DevSimPy **,
-:45 - 16:00 : **Coffee break**
+:00 - 16:00 : **Coffee break** (during conf call ENACT WP3 for J.-Y. Tigli and S. Lavirotte)
-:00 - 17:00:  ** What kind of Tests and Results ?**
+:00 - 16:45:  ** Use Case and first simulation results with DevSimPy **,
+:45 - 18:00  ** What kind of Tests and Results ?**
    * How to generate test sets from FSM for DEVs Simulation ?
    * How to evaluate the test coverage ?
    * Discussion
-:00 - 17:30: ** Mainlines of the journey **, Gaëtan Rey
+:00 - 18:30: ** Mainlines of the journey **, Gaëtan Rey
 ** Overview, Summary, Issues **, All
-:30 - 17:45 :** 17th Agenda to adjust**, All
+:30 - 17:45 :** 18th Agenda to adjust**, All
 :00 ** Dinner in Nice **
-====== 07/17/19 Agenda ======
+====== 07/18/19 Agenda ======
 :30 - 10:30 :  ** Workshop on Paper Submission to MDE4IOT Workshop**,