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 07:28]
tigli [Schedule]
recherche:workshops:workshop2_acm [2019/08/02 15:30]
lavirotte [DEVS and Simulation ...]
Ligne 3: Ligne 3:
 ====== 2nd Workshop on Actuation Conflict Management for IoT ===== ====== 2nd Workshop on Actuation Conflict Management for IoT =====
  
-===== Actuation Conflict ​Simulation ​in IoT ...======+===== DEVS and Simulation ...======
  
 == Thursday 28th March 2019 == == Thursday 28th March 2019 ==
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
  
 +|||
  
 ===  University of Arizona Participants,​ US === ===  University of Arizona Participants,​ US ===
Ligne 56: 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 70: Ligne 72:
  
 ** "​ENACT:​ Development,​ Operation, and Quality Assurance of Trustworthy Smart IoT Systems"​ ** ** "​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}}
  
-** "​Actuation Conflict Management Challenge for IoT" **+speakers : Jean-Yves TigliStéphane Lavirotte et al.
  
-speaker : Jean-Yves TigliStéphane LavirotteThibaut Gonnin+** "IoT and Actuation Conflict Management Challengefrom 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.
  
-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 
  
-12:​00- ​14:00:  ** Lunch break **+12:​00- ​13:30:  ** Lunch break ** 
 + 
 +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 
 + 
 +  * 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 
 + 
 +  * 15:10 - 15:40 : ** I3S recent progress : How to decribe FSM with ECA, a formal approach ...**, Speaker : Thibaut Gonnin
  
-15:00 - : ** Discussion on three main topics ​**+  * 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 ? 
 +     ...
  
-non exhaustive list of topics (to be completed) :  +15:00 - 17:30 ** Discussion on other research ​topics (Non exhaustive list to be completed) : **
-  ​DEVS simulation for testing FSM execution engine(Actuation Conflict Manager in ENACT) ​  +
   * DEVS simulation for actuation conflict detection in a simulated physical environment (at design time in ENACT) ​   * DEVS simulation for actuation conflict detection in a simulated physical environment (at design time in ENACT) ​
   * DEVS Simulation and Other Challenges in IoT    * DEVS Simulation and Other Challenges in IoT 
  
-Further collaborations and future works ...+// ** Further collaborations and future works ... ** // 
  
 20:00 ** Dinner at the Santana Restaurant in the Saint Laurent du Var Marina **  20:00 ** Dinner at the Santana Restaurant in the Saint Laurent du Var Marina ** 
recherche/workshops/workshop2_acm.txt · Dernière modification: 2019/08/02 15:30 par lavirotte