recherche:workshops:workshop2_acm
Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
recherche:workshops:workshop2_acm [2019/03/28 06:28] – [Schedule] tigli | recherche:workshops:workshop2_acm [2019/08/02 13:30] (Version actuelle) – [DEVS and Simulation ...] lavirotte | ||
---|---|---|---|
Ligne 3: | Ligne 3: | ||
====== 2nd Workshop on Actuation Conflict Management for IoT ===== | ====== 2nd Workshop on Actuation Conflict Management for IoT ===== | ||
- | ===== Actuation Conflict | + | ===== DEVS and Simulation ...====== |
== Thursday 28th March 2019 == | == Thursday 28th March 2019 == | ||
Ligne 37: | Ligne 37: | ||
** Laboratoire Sciences Pour l' | ** Laboratoire Sciences Pour l' | ||
- | Prof. Jean-François | + | Prof. Jean-François |
- | Ass. Prof. Laurent | + | |
+ | Ass. Prof. Laurent | ||
||| | ||| | ||
{{: | {{: | ||
Ligne 49: | Ligne 50: | ||
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 |
+ | ||| | ||
=== University of Arizona Participants, | === University of Arizona Participants, | ||
Ligne 56: | Ligne 58: | ||
{{ : | {{ : | ||
- | Prof. BERNARD | + | Prof. Bernard |
Ligne 70: | Ligne 72: | ||
** " | ** " | ||
+ | {{: | ||
- | ** " | + | speakers : Jean-Yves Tigli, Stéphane Lavirotte et al. |
- | speaker : Jean-Yves Tigli, Stéphane Lavirotte, Thibaut Gonnin | + | ** "IoT and Actuation Conflict Management Challenge, from Conflict Management at Design Time to Runtime Behavioral Drift Analysis" |
+ | Speakers : Jean-Yves Tigli, Stéphane Lavirotte, Thibaut Gonnin et al. | ||
- | 10:35 - 11: | + | 10:35 - 11: |
+ | {{: | ||
11:05 - 12: | 11:05 - 12: | ||
- | 12: | + | 12: |
+ | |||
+ | 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, | ||
+ | |||
+ | * 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 | ||
- | 15:00 - : ** Discussion on three main topics | + | * 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 ? | ||
+ | * ... | ||
- | non exhaustive list of topics (to be completed) : | + | 15:00 - 17:30 ** Discussion on other research |
- | | + | |
* DEVS simulation for actuation conflict detection in a simulated physical environment (at design time in ENACT) | * DEVS simulation for actuation conflict detection in a simulated physical environment (at design time in ENACT) | ||
* DEVS Simulation and Other Challenges in IoT | * DEVS Simulation and Other Challenges in IoT | ||
- | Further collaborations and future works ... | + | // ** Further collaborations and future works ... ** // |
20:00 ** Dinner at the Santana Restaurant in the Saint Laurent du Var Marina ** | 20:00 ** Dinner at the Santana Restaurant in the Saint Laurent du Var Marina ** |
recherche/workshops/workshop2_acm.1553754508.txt.gz · Dernière modification : 2019/03/28 06:28 de tigli