Outils pour utilisateurs

Outils du site


Panneau latéral

Accueil

Select other language :


Apprentissage

Enseignements

Enseignements Département Informatique SI5 et Master IFI

Enseignements Département Bâtiment Polytech'Nice

Autres Formations française et étrangère

Activités administratives, Ingénierie et Innovation Pédagogiques

Apprentissage Département Informatique SI5/Master 2 ingénierie informatique EUR DS4H


Recherche

Valorisation de la Recherche

Dépôts Logiciels à l’Agence de Protection des Programme (APP)

Valorisation des résultats de recherche et transfert

Diffusion de la Culture scientifique et Technologique

Communications de presse

Séminaire ENSI Tunis

Pédagogie Innovante

Relations industrielles et socio-économique

Organisation de Manifestations

  • Conférence sur les FabLabs, Alexandre Schneider, Professeur Agrégé en Génie Mécanique, Université de Reims Champagne-Ardenne Web
  • Journées UbiMob'14 Site Web

Animation de la Recherche

U-Santé

Privé

Outils

Sources d'Informations

recherche:workshops

Ceci est une ancienne révision du document !


Actuation Conflict Management,

A new IoT challenge...

Friday 9th November 2018

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.

  • 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 ...

ENACT Project, Funded under: H2020-EU.2.1.1. - INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT)

ENACT Members :

CNRS Participants

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

 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

Laboratoire LEAT UMR CNRS, Université Côte d'Azur

Ass. Prof. Daniel Gaffé, MSOC Research Team

Other invited participants

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

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

VERIMAG INTERMEDIATE FORMAT AND VERIFICATION TOOL SET

VERIMAG BIP Framework

BIP (Behavior, Interaction, Priority) is a general framework encompassing rigorous design. It uses the BIP language and an associated toolset supporting the design flow. The BIP language is a notation which allows building complex systems by coordinating the behavior of a set of atomic components. Behavior is described as a Petri net extended with data and functions described in C.

Inria "Construction and Analysis of Distributed Processes" & Software Tools for Designing Reliable Protocols and Systems

CADP (“Construction and Analysis of Distributed Processes”, formerly known as “CAESAR/ALDEBARAN Development Package”) is a popular toolbox for the design of asynchronous concurrent systems, such as communication protocols, distributed systems, asynchronous circuits, multiprocessor architectures, web services, etc.

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)

Jacek Dominiak, Nicolas Ferry, Alberto Huélamo, Stéphane Lavirotte, Phu Nguyen, Jean-Yves Tigli, "ENACT D2.1: Survey and Requirements of Risk-driven Continuous Delivery of Trustworthy Smart IoT Systems", Section 4, p36-50, Nov 2018.

recherche/workshops.1542196457.txt.gz · Dernière modification: 2018/11/14 12:54 par tigli