Outils pour utilisateurs

Outils du site


recherche:workshops:workshop2_acm

Différences

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

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
recherche:workshops:workshop2_acm [2019/03/28 09:38]
tigli [Schedule]
recherche:workshops:workshop2_acm [2019/08/02 15:30] (Version actuelle)
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 58: Ligne 58:
 {{ :​recherche:​workshops:​logo_unive_arizona.jpg?​100|}} {{ :​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"​ ** ** "​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]]+{{: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 
Ligne 87: 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 ?
recherche/workshops/workshop2_acm.1553762280.txt.gz · Dernière modification: 2019/03/28 09:38 par tigli