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 09:46] tigli [Schedule] |
recherche:workshops:workshop2_acm [2019/04/01 19:19] tigli [Schedule] |
||
---|---|---|---|
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 Mananger, 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 | ||
- | |||
11:05 - 12:00: ** Afternoon Agenda to define**, All | 11:05 - 12:00: ** Afternoon Agenda to define**, All | ||
Ligne 87: | Ligne 86: | ||
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 ? |