Différences

Ci-dessous, les différences entre deux révisions de la page.

--- recherche:workshops [2018/11/14 11:52] – [Bibliographical References] tigli
+++ recherche:workshops [2021/10/12 17:37] (Version actuelle) – [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&300|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 **
-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 ======
-:30 - 10:00: Welcome Coffee
-:00 - 10:15:  **Roundtable**
-:45 - 11:05:  ** "Actuation Management Challenge for IoT" **, speaker : Jean-Yves Tigli
-:05 - 11:35:  ** "Synchronous Models, Languages and Validation Tools (ex. Light Esterel)" **, speaker : Daniel Gaffe
-:35 - 11:55:  ** "Simulation and Models with DEVS formalism (Discrete Event System Specification)" **, speaker : Jean-François Santucci
-:55 - 12:25:  ** "Possibly exhaustive simulation of your DSL" **, speaker : Julien Deantoni
-:25 - 13:30: Lunch break
-:30 - 14:00:  ** "ENACT: Development, Operation, and Quality Assurance of Trustworthy Smart IoT Systems" **, speaker : Nicolas Ferry
-:00 - 14:30:  ** Actuation systems simulation in ENACT ** - speaker : Franck Dechavanne
-:30 - 15:00:  ** DEVSimPy Design Tool for Wcomp based IoT systems ** - speaker : L. Capocchi
-: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 =====
-== aynchonous 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.