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 Prochaine révision Les deux révisions suivantes | ||
recherche:workshops [2018/11/08 18:41] lavirotte |
recherche:workshops [2019/09/09 12:26] 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 with TECNALIA in Bilbao]] |
- | + | ||
- | * 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. | + | |
- | * 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 CNRS 6134 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 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. 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. 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: | + | |
- | 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) | + | |
+ | [[recherche:ENACT:SpecificMeeting:meetingUDEinSophia281118|Meeting CNRS/ESSEN on reinforcement learning for self-adaptive actuation conflict manager]] | ||