Outils pour utilisateurs

Outils du site


recherche:workshops:workshop3_acm

Différences

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

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
recherche:workshops:workshop3_acm [2019/07/16 18:50]
tigli [07/17/19 Agenda]
recherche:workshops:workshop3_acm [2019/08/02 15:31] (Version actuelle)
lavirotte [FSM Execution Engine Model, Testing and Implementation]
Ligne 3: Ligne 3:
 ====== 3th Workshop on Actuation Conflict Management for IoT ===== ====== 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 ** ** 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 : 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 Invited : Ass. Prof. Denis Pallez, SPARKS Research Team member
  
  
-====== 07/16/19 Agenda ======+====== 07/17/19 Agenda ======
  
 9:00 - 10:30 : Pickup at the airport, Gaëtan Rey 9: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 // // From past results and papers: Soulila Ph. D. on a DEVS model for FSM execution engine //
  
-14:15 - 15:00: ** Evalutionary ​Algorithms and Software testing **+14:15 - 15:00: ** Evolutionary ​Algorithms and Software testing **
  
 speaker : Denis Pallez, I3S SPARKS Team speaker : Denis Pallez, I3S SPARKS Team
  
-15:00 - 15:​45: ​ ** Use Case and first simulation results with DevSimPy **, 
  
-15:45 - 16:00 : **Coffee break** ​+15:00 - 16:00 : **Coffee break** ​(during conf call ENACT WP3 for J.-Y. Tigli and S. Lavirotte) ​
  
-16:00 - 17:00:  ** What kind of Tests and Results ?**+16:00 - 16:45 ** Use Case and first simulation results with DevSimPy **, 
 + 
 +16: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    * Discussion
  
-17:00 - 17:30: ** Mainlines of the journey **, Gaëtan Rey +18:00 - 18:30: ** Mainlines of the journey **, Gaëtan Rey 
 ** Overview, Summary, Issues **, All ** Overview, Summary, Issues **, All
  
-17:30 - 17:45 :** 17th Agenda to adjust**, All+17:30 - 17:45 :** 18th Agenda to adjust**, All
  
 20:00 ** Dinner in Nice **  20:00 ** Dinner in Nice ** 
  
-====== 07/17/19 Agenda ======+====== 07/18/19 Agenda ======
  
-09:30 - 15:00 ** Paper Submission to MDE4IOT Workshop**, ​+09:30 - 10:30 :  ​** Workshop on Paper Submission to MDE4IOT Workshop**, ​
 ** Title  : Discrete-Event Modeling and Simulation for Actuation Conflict Management of IoT Systems ** ** Title  : Discrete-Event Modeling and Simulation for Actuation Conflict Management of IoT Systems **
  
Ligne 114: Ligne 115:
 Authors: Laurent Capocchi, Jean-François Santucci, Thibault Gonnin, Jean-Yves Tigli, Stéphane Lavirotte ​ Authors: Laurent Capocchi, Jean-François Santucci, Thibault Gonnin, Jean-Yves Tigli, Stéphane Lavirotte ​
  
-Internal Reviewers: Gaëtan Rey, Denis Pallez+Internal Reviewers ​during paper in progress ​: Gaëtan Rey, Denis Pallez
  
 +10:30 - 11:00 : ** Action plan **, All
  
-15:00 - 16:00 : ** Summary ​and Action plan ** +11:00 - 12:00 and 13:00 - 16:00 : ** Paper writting ​and internal review**, All 
-//Deadline on Friday evening//  +
-===== References on additional topics =====+
  
 +16:00 : Back to the airport, Gaëtan Rey
 +
 +//Deadline on Friday evening// ​
  
recherche/workshops/workshop3_acm.1563295827.txt.gz · Dernière modification: 2019/07/16 18:50 par tigli