Ci-dessous, les différences entre deux révisions de la page.
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:55] tigli [References on additional topics] |
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 - 10:30 : ** Workshop on Paper Submission to MDE4IOT Workshop**, | 09:30 - 10:30 : ** Workshop on Paper Submission to MDE4IOT Workshop**, |