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.
ENACT Project, Funded under: H2020-EU.2.1.1. - INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT)
ENACT Members :
Laboratoire Sciences Pour l'Environnement / UMR 6134 CNRS SPE Université de Corse
Prof. Jean-François Santucci, Head of the SIS Research Team
Ass. Prof. Laurent Capochi, 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
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
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: Discrete Event Modeling and Simulation for IoT Efficient Design - speaker : L. Capocchi
15:00 - 17:00: Discussion
non exhaustive list of topics (to be completed) :
VERIMAG INTERMEDIATE FORMAT AND VERIFICATION TOOL SET
The IF Intermediate Representation based on extending communicating timed automata has been defined for being able to offer a powerful toolset offering simulation, analysis and verification facilities for different modelling languages for distributed real-time systems.
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.
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.
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.