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 08:26] – [Schedule] tigli | recherche:workshops:workshop2_acm [2019/08/02 13:30] (Version actuelle) – [DEVS and Simulation ...] lavirotte | ||
---|---|---|---|
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, | + | MSc Thibaut Gonnin, SPARKS Research Team member |
||| | ||| | ||
- | |||
=== University of Arizona Participants, | === University of Arizona Participants, | ||
Ligne 58: | Ligne 58: | ||
{{ : | {{ : | ||
- | Prof. BERNARD | + | Prof. Bernard |
Ligne 72: | Ligne 72: | ||
** " | ** " | ||
+ | {{: | ||
- | speaker | + | speakers |
- | ** "IoT and Actuation Conflict Management Challenge, from Conflict Management at Design Time to Runtime Behavioral Drift Analysis" | + | ** "IoT and Actuation Conflict Management Challenge, from Conflict Management at Design Time to Runtime Behavioral Drift Analysis" |
- | Speaker | + | Speakers |
- | + | ||
- | 10:35 - 11: | + | |
+ | 10:35 - 11: | ||
+ | {{: | ||
11:05 - 12: | 11:05 - 12: | ||
Ligne 86: | Ligne 87: | ||
12:00- 13: | 12:00- 13: | ||
- | 13:30 - 15:00 : ** DEVS simulation for testing FSM execution engine(Actuation Conflict Manager in ENACT) **, Discussion on I3S/Corsica Univ. current collaboration, | + | 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, | ||
- | 13:30 - 14:00 : ** Corsica Univ. : Past results : Soulila Ph. D. on a DEVS model for FSM execution engine **, Laurent Capocchi, Jean-François Santucci | + | * 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 |
- | 14:00 - 14:30 : ** I3S recent progress : How to programm | + | * 15:10 - 15:40 : ** I3S recent progress : How to decribe |
- | 14:30 - 15:00 : ** Discussion on this research topic **, All | + | * 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:30 non exhaustive list of other researcjh | + | 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.1553761580.txt.gz · Dernière modification : 2019/03/28 08:26 de tigli