Outils pour utilisateurs
recherche:workshops:workshop2_acm
Différences
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 Dernière révision Les deux révisions suivantes | ||
|
recherche:workshops:workshop2_acm [2019/03/28 09:27] tigli [Schedule] |
recherche:workshops:workshop2_acm [2019/08/02 15:29] lavirotte [DEVS and Simulation ...] |
||
|---|---|---|---|
| Ligne 37: | Ligne 37: | ||
| ** 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 | ||
| ||| | ||| | ||
| {{:recherche:newlogoi3s.jpg?100| }} | {{:recherche:newlogoi3s.jpg?100| }} | ||
| 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 | + | MSc Thibaut Gonnin, SPARKS Research Team member |
| ||| | ||| | ||
| - | |||
| === University of Arizona Participants, US === | === University of Arizona Participants, US === | ||
| Ligne 72: | Ligne 72: | ||
| ** "ENACT: Development, Operation, and Quality Assurance of Trustworthy Smart IoT Systems" ** | ** "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}} | ||
| - | speaker : Jean-Yves Tigli, Stéphane Lavirotte et al. | + | 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" **, | + | ** "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}} |
| - | Speaker : Jean-Yves Tigli, Stéphane Lavirotte, Thibaut Gonnin et al. | + | Speakers : Jean-Yves Tigli, Stéphane Lavirotte, Thibaut Gonnin et al. |
| - | + | ||
| - | 10:35 - 11:05: ** "DEVS for IoT " **, speaker : Bernard Zeigler | + | |
| + | 10:35 - 11:05: ** "DEVS for IoT " **, speaker : Bernard Zeigler | ||
| + | {{:recherche:workshops:devs_background.pdf|Slides}} | ||
| 11:05 - 12:00: ** Afternoon Agenda to define**, All | 11:05 - 12:00: ** Afternoon Agenda to define**, All | ||
| Ligne 86: | Ligne 87: | ||
| 12:00- 13:30: ** Lunch break ** | 12:00- 13:30: ** Lunch break ** | ||
| - | 13:30 - 15:00 : ** DEVS simulation for testing FSM execution engine(Actuation Conflict Manager in ENACT) **, Discussion on I3S/Corsica Univ. current collaboration, All | + | 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 | ||
| - | * 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 FSM with ECA, a formal approach **, Speaker : Thibaut Gonnin | + | * 15:10 - 15:40 : ** I3S recent progress : How to decribe FSM with ECA, a formal approach ...**, Speaker : Thibaut Gonnin |
| - | * 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 generate test sets from FSM for DEVs Simulation ? | ||
| * How to evaluate the test coverage ? | * How to evaluate the test coverage ? | ||
| * ... | * ... | ||
| - | 15:00 - 17:30 non exhaustive list of other researcjh topics (to be completed) : | + | 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 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.txt · Dernière modification: 2019/08/02 15:30 par lavirotte
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 4.0 International
