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 15:27]
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 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 
recherche/workshops/workshop2_acm.1553783265.txt.gz · Dernière modification: 2019/03/28 15:27 par tigli