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 15: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" ** | ||
- | [[https://sintef.sharepoint.com/:p:/r/sites/enact/_layouts/15/Doc.aspx?sourcedoc=%7B4F8BEA4B-C20E-4472-B915-C508CD971C70%7D&file=Technical_checkpoint_overall.pptx&action=edit&mobileredirect=true&cid=7208b3f7-a00a-40c2-8e04-83958cc218b6| Slides of Nicolas Ferry, ENACT Technical Manager, SINTEF]] | + | {{:recherche:workshops:technical_checkpoint_overall.pdf|Slides of Nicolas Ferry, ENACT Technical Manager, SINTEF}} |
speakers : 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" **, [[https://sintef.sharepoint.com/:p:/r/sites/enact/_layouts/15/Doc.aspx?sourcedoc=%7B85206908-D740-41CA-9EEC-30CE1843E90D%7D&file=Actuation%20throughout%20DevOps%20cycle.pptx&action=edit&mobileredirect=true&cid=bf6d033d-63f5-459f-b226-66e755713b91|Slides]] | + | ** "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}} |
Speakers : 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 |