Outils pour utilisateurs

Outils du site


recherche:workshops

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
Prochaine révision Les deux révisions suivantes
recherche:workshops [2018/11/09 10:27]
lavirotte [Bibliographical References]
recherche:workshops [2021/10/12 19:33]
tigli [Other Meetings]
Ligne 1: Ligne 1:
-{{ :​recherche:​logo_enact.png?​100|}} {{ :​recherche:​cnrs.jpg?​70|}}+===== Workshops on Actuation Conflict Management in IoT =====
  
-====== ​Actuation ​Conflicts ​Management, =====+[[recherche:​workshops:​workshop1 ACM|1st Workshop on Actuation ​Conflict ​Management ​in IoT]]
  
-====== A new IoT challenge... ======= +[[recherche:workshops:​workshop2 ACM|2nd Workshop on Actuation Conflict Management in IoT]]
-== Friday 9th November 2018== +
-{{ :recherche:cog-scripted-svg-green.svg.png?​200|}}+
  
 +[[recherche:​workshops:​workshop3 ACM|3th Workshop on Actuation Conflict Management in IoT]]
  
-=====  +===== Other Meetings =====
-// Numerous Iot Applications now manage connected objects, not restricted anymore to collect data from field, but having the capacity to act on their surrounding environment.//​+
  
-Thereby, large scale IoT systems, become critical. Continuous deployment and integration solutions (DevOps) require new tools for enforcing the operational security and the degree of validation of the applications.+[[recherche:​ENACT:​SpecificMeeting:​meetinginBilbaoTECNALIA|Meeting in Bilbao with TECNALIA on KUBIK Use Cases]]
  
-  * Challenge 1. IoT software composition lies on shared hardware/​software services. Concurrent accesses to these services lead deployed software applications to behave in a non-deterministic fashion. ​ Synchronous languages offer a formal approach to constrain accesses and validate the deterministic behavior of the applications and the services. +[[recherche:ENACT:​SpecificMeeting:​meetingUDEinSophia281118|Meeting CNRS/ESSEN on reinforcement learning for self-adaptive actuation conflict manager]]
-  * Challenge 2. Meanwhile, DEVS formalism provides capabilities to model and simulate discrete, continuous or hybrid complex systems, hence allowing: +
-    * To model complex physical interactions between actuators through a real physical environment (e.g. heater/cooler) +
-    * To model asynchronous software components to verify some properties through tests and simulations (case applicable to the modeling of the execution machine of a FSM)+
  
-== Supported by ...== 
-{{ :​recherche:​ech2020-logo.png?​400 |}} 
-{{:​recherche:​logo_enact.png?​100 |}} 
- 
-ENACT Project, Funded under: ​ 
-H2020-EU.2.1.1. - INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT)  
- 
-||| 
- 
-**ENACT Members : ** 
-||| 
-{{:​recherche:​centros_y_universidades.png?​200|}} 
-{{:​recherche:​socios_industriales_enact.png?​200|}} 
- 
-{{ :​recherche:​cnrs.jpg?​60|}} 
-=== CNRS Participants === 
- 
-||| 
-{{:​recherche:​index.jpg?​100 |}} 
-** Laboratoire Sciences Pour l'​Environnement / UMR 6134 CNRS SPE Université de Corse ** 
- 
-Prof. Jean-François Cappochi, Head of the SIS Research Team  
-Ass. Prof. Laurent Cappochi, SIS Research Team member 
-||| 
-{{:​recherche:​newlogoi3s.jpg?​100| }} 
-** Laboratoire I3S UMR 7271 CNRS, Université Côte d'Azur ** 
- 
-Ass. Prof. Jean-Yves Tigli, SPARKS Research Team member 
- 
-Ass. Prof. Stéphane Lavirotte, SPARSK Research Team member 
- 
-Ass. Prof. Gaëtan Rey, SPARKS Research Team member 
- 
-Research Ing. Franck Dechavanne, SPARKS Research Team member 
- 
-Ass. Prof. Julien Deantoni, KAIROS Research Team CNRS/Inria 
- 
-||| 
- 
-{{:​recherche:​cf2750f2-56e1-4d5e-ac04-95016c75d06d.jpg?​80 |}} 
-** Laboratoire LEAT UMR CNRS, Université Côte d'Azur ** 
- 
-Ass. Prof. Daniel Gaffé, MSOC Research Team  
- 
-||| 
-||| 
-=== Other invited participants === 
-||| 
-{{:​recherche:​inria-16.9-1.3.png?​100 |}} 
-||| 
-||| 
-**Inria Sophia Antipolis, Université Côte d'​Azur** 
- 
-Research officer, Annie Ressouche, STARS Research Team Inria 
-Ph.D. student, Ines Sarray, STARS Research Team Inria 
- 
-{{:​recherche:​sintef_blue.png?​100 |}} 
-** SINTEF ICT, Norway ** 
- 
-Dr. Nicolas Ferry, member of the MOD Research Group 
-Technical Manager of EU-ENACT Project ​ 
- 
-====== Schedule ====== 
- 
- 9:30 - 10:00: Welcome Coffee 
- 
- 
-10:00 - 10:​15: ​ **Roundtable** 
- 
- 
-10:45 - 11:​05: ​ ** "​Actuation Management Challenge for IoT" **, speaker : Jean-Yves Tigli 
- 
- 
-11:05 - 11:​35: ​ ** "​Synchronous Models, Languages and Validation Tools (ex. Light Esterel)"​ **, speaker : Daniel Gaffe  
- 
- 
-11:35 - 11:​55: ​ ** "​Simulation and Models with DEVS formalism (Discrete Event System Specification)"​ **, speaker : Jean-François Santucci 
- 
- 
-11:55 - 12:​25: ​ ** "​Possibly exhaustive simulation of your DSL" **, speaker : Julien Deantoni ​ 
- 
- 
-12:25 - 13:30: Lunch break 
- 
- 
-13:30 - 14:​00: ​ ** "​ENACT:​ Development,​ Operation, and Quality Assurance of Trustworthy Smart IoT Systems"​ **, speaker : Nicolas Ferry 
- 
- 
-14:00 - 14:​30: ​ ** Actuation systems simulation in ENACT ** - speaker : Franck Dechavanne 
- 
- 
-14:30 - 15:​00: ​ ** DEVSimPy Design Tool for Wcomp based IoT systems ** - speaker : L. Capocchi 
- 
-15:00 - 17:00: ** Discussion ** 
- 
-non exhaustive list of topics (to be completed) :  
-  * Conceptual Model and Operational Model  ​ 
-  * Tools for simulation and Tests 
- 
- 
-===== Bibliographical References ===== 
- 
- 
-Sehili Souhila, Laurent Capocchi, J.F. Santucci, Stéphane Lavirotte, Jean-Yves Tigli. [[http://​stephane.lavirotte.com/​research/​biblio/​simultech2015-sehili-paper.pdf|"​Discrete Event Modeling and Simulation for IoT Efficient Design Combining WComp and DEVSimPy Framework"​]]. 5th International Conference on Simulation and Modeling Methodologies,​ Technologies and Applications (SIMULTECH),​ Jul 2015, Colmar, France. pp.44-52. 
- 
-Sehili Souhila, Laurent Capocchi, Jean François Santucci, Stéphane Lavirotte, Jean-Yves Tigli. [[http://​dx.doi.org/​10.1007/​978-3-319-31295-8_4|"​IoT Efficient Design Using WComp Framework and Discrete Event Modeling and Simulation"​]]. S. Mohammad Obaidat; Janusz Kacprzyk; Tuncer Ören; Joaquim Filipe. Simulation and Modeling Methodologies,​ Technologies and Applications,​ Springer International Publishing, pp.49--67, 2016, France. 
- 
-Ines Sarray, Annie Ressouche, Daniel Gaffé, Jean-Yves Tigli, Stephane Lavirotte: 
-[[http://​stephane.lavirotte.com/​research/​biblio/​m4iot2015-sarray-paper.pdf|"​Safe Composition in Middleware for the Internet of Things"​]]. M4IoT@Middleware 2015: 7-12 
- 
-Annie Ressouche, Jean-Yves Tigli, Oscar Carrillo: 
-Toward Validated Composition in Component-Based Adaptive Middleware. Software Composition 2011: 165-180 
- 
-Nicolas Ferry, Arnor Solberg, Hui Song, Stéphane Lavirotte, Jean-Yves Tigli, Thierry Winter, Victor Muntés-Mulero,​ Andreas Metzger, Erkuden Rios Velasco, Amaia Castelruiz Aguirre, [["​ENACT:​ Development,​ Operation, and Quality Assurance of Trustworthy Smart IoT Systems"​]],​ DEVOPS 2018 workshop (DEVOPS'​18) 
  
 +===== Bernard Zingler Talk about ENACT (13th minute) =====
  
 +[[https://​www.youtube.com/​watch?​v=7amv1py7fv8|streaming]]
recherche/workshops.txt · Dernière modification: 2021/10/12 19:37 par tigli