Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
recherche:workshops [2018/11/14 12:52] tigli [Bibliographical References] |
recherche:workshops [2021/10/12 19:37] (Version actuelle) 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: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 ====== | + | |
- | + | ||
- | 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 ===== | + | |
- | + | ||
- | == 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. | + | |