Différences

Ci-dessous, les différences entre deux révisions de la page.

--- recherche:workshops:workshop2_acm [2019/03/28 08:28] – [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'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| }}
@@ Ligne 49: / Ligne 50: @@
 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 ===
@@ Ligne 58: / Ligne 58: @@
 {{ :recherche:workshops:logo_unive_arizona.jpg?100|}}
-Prof. BERNARD P. ZEIGLER, Chief Scientist at RTSync Corp., Professor Emeritus of Electrical and Computer Engineering at the University of Arizona (UA) and Affiliated Research Professor in the C4I Center at George Mason University
+Prof. Bernard P. Zeigler, Chief Scientist at RTSync Corp., Professor Emeritus of Electrical and Computer Engineering at the University of Arizona (UA) and Affiliated Research Professor in the C4I Center at George Mason University
@@ Ligne 72: / Ligne 72: @@
 ** "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.
-:35 - 11:05:  ** "DEVS for IoT " **, speaker : Bernard Zeigler
+:35 - 11:05:  ** "DEVS for IoT " **, speaker : Bernard Zeigler
+{{:recherche:workshops:devs_background.pdf|Slides}}
 :05 - 12:00:  ** Afternoon Agenda to define**, All
@@ Ligne 86: / Ligne 87: @@
 :00- 13:30:  ** Lunch break **
-:30 - 15:00 : ** DEVS simulation for testing FSM execution engine(Actuation Conflict Manager in ENACT) **, Discussion on I3S/Corsica Univ. current collaboration, All
+:30 - 15:00: ** Activity Recognition with synchronous language **, Ines Sarray
+: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 evaluate the test coverage ?