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édentesRévision précédente
Prochaine révision
Révision précédente
Dernière révisionLes deux révisions suivantes
recherche:workshops [2018/11/13 07:15] – [Actuation Conflicts Management,] tiglirecherche:workshops [2021/10/12 17:36] – [Bernard Zingler Talk about ENACT (13th minute)] tigli
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:zeigler_ieee_talk.jpg?direct&200|https://www.youtube.com/watch?v=7amv1py7fv8}}
-||| +
-{{: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 ** +
- +
-ProfJean-François Cappochi, Head of the SIS Research Team  +
-AssProf. 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 +
- +
- +
-===== 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/workshops.txt · Dernière modification : 2021/10/12 17:37 de tigli