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/14 12:53]
tigli [References on additional topics]
recherche:workshops [2021/10/12 19:36]
tigli [Bernard Zingler Talk about ENACT (13th minute)]
Ligne 1: Ligne 1:
-{{ :​recherche:​logo_enact.png?​100|}} {{ :​recherche:​cnrs.jpg?​70|}}+===== Workshops on Actuation Conflict Management in IoT =====
  
-====== ​Actuation Conflict 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:  +===== Bernard Zingler Talk about ENACT (13th minute=====
-H2020-EU.2.1.1. - INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies ​(ICT+
  
-||| +[[https://www.youtube.com/watch?v=7amv1py7fv8|streaming]]
- +
-**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 SIS (Secure IoT Software), 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 +
- +
- +
-===== References on additional topics ===== +
- +
-== Asynchonous model checking == +
-||| +
- +
-[[http://www-verimag.imag.fr/article58.html|VERIMAG INTERMEDIATE FORMAT AND VERIFICATION TOOL SET]] +
- +
-[[http://​www-verimag.imag.fr/​The-BIP-Framework.html?lang= +
-|VERIMAG BIP Framework]]  +
- +
-[[https://​cadp.inria.fr/​|Inria "​Construction and Analysis of Distributed Processes"​ & +
-Software Tools for Designing Reliable Protocols and Systems]]  +
- +
- +
- +
-===== Bibliographical References ===== +
- +
-Sehili Souhila, Laurent Capocchi, J.F. Santucci, Stéphane Lavirotte, Jean-Yves Tigli. [[https://​www.researchgate.net/​publication/​280318235_Discrete_Event_Modeling_and_Simulation_for_IoT_Efficient_Design_Combining_WComp_and_DEVSimPy_Framework|"​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:​ +
-[[https://​www.researchgate.net/​publication/​301455256_Safe_Composition_in_Middleware_for_the_Internet_of_Things|"​Safe Composition in Middleware for the Internet of Things"​]]. M4IoT@Middleware 2015: 7-12 +
- +
-Annie Ressouche, Jean-Yves Tigli, Oscar Carrillo, [[https://​www.researchgate.net/​publication/​220888914_Toward_Validated_Composition_in_Component-Based_Adaptive_Middleware|"​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) +
- +
-Jacek Dominiak, Nicolas Ferry, Alberto Huélamo, Stéphane Lavirotte, Phu Nguyen, Jean-Yves Tigli, [[https://​www.enact-project.eu/​deliverables/​D2.1_continuous_delivery.pdf|"​ENACT D2.1: Survey and Requirements of Risk-driven Continuous Delivery of Trustworthy Smart IoT Systems"​]],​ Section 4, p36-50, Nov 2018.+
  
 +{{:​recherche:​zeigler_ieee_talk.jpg?​direct&​400|https://​www.youtube.com/​watch?​v=7amv1py7fv8}}
recherche/workshops.txt · Dernière modification: 2021/10/12 19:37 par tigli