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 Prochaine révision Les deux révisions suivantes | ||
recherche:workshops:workshop2_acm [2019/03/28 07:11] tigli [Actuation Conflict Simulation in IoT ...] |
recherche:workshops:workshop2_acm [2019/04/01 19:26] tigli [Schedule] |
||
---|---|---|---|
Ligne 3: | Ligne 3: | ||
====== 2nd Workshop on Actuation Conflict Management for IoT ===== | ====== 2nd Workshop on Actuation Conflict Management for IoT ===== | ||
- | ===== Actuation Conflict Simulation in IoT ...====== | + | ===== DEVS and Simulation ...====== |
== Thursday 28th March 2019 == | == Thursday 28th March 2019 == | ||
Ligne 48: | Ligne 48: | ||
Ass. Prof. Gaëtan Rey, SPARKS Research Team member | Ass. Prof. Gaëtan Rey, SPARKS Research Team member | ||
+ | |||
+ | MSc Thibaut Gonnin, SPARKS Research Team member | ||
||| | ||| | ||
Ligne 67: | Ligne 69: | ||
- | 10:45 - 11:05: ** "Actuation Management Challenge for IoT" **, speaker : Jean-Yves Tigli | + | 10:15 - 10:35: |
- | + | ||
- | + | ||
- | 11: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}} | ||
- | 11: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}} | ||
- | 11:55 - 12:25: ** "Possibly exhaustive simulation of your DSL" **, speaker : Julien Deantoni | + | Speakers : Jean-Yves Tigli, Stéphane Lavirotte, Thibaut Gonnin et al. |
+ | 10:35 - 11:05: ** "DEVS for IoT " **, speaker : Bernard Zeigler | ||
+ | {{:recherche:workshops:devs_background.pdf|Slides}} | ||
- | 12:25 - 13:30: Lunch break | + | 11:05 - 12:00: ** Afternoon Agenda to define**, All |
+ | 12:00- 13:30: ** Lunch break ** | ||
- | 13:30 - 14:00: ** "ENACT: Development, Operation, and Quality Assurance of Trustworthy Smart IoT Systems" **, speaker : Nicolas Ferry | + | 14:30 - 15:00: ** Activity Recognition with synchronous language **, Ines Sarray |
+ | 15:00 - 16:00: ** DEVS simulation for testing FSM execution engine(Actuation Conflict Manager in ENACT) **, Discussion on I3S/Corsica Univ. current collaboration, All | ||
- | 14: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 | ||
- | 14: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 ? | ||
+ | * ... | ||
- | 15:00 - 17:00: ** Discussion ** | + | 15: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 | + | |
+ | 20:00 ** Dinner at the Santana Restaurant in the Saint Laurent du Var Marina ** | ||
===== References on additional topics ===== | ===== References on additional topics ===== |