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.

• Actuation Conflict Manager Simulation and Testing : 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. Meanwhile, DEVS formalism provides capabilities to model and simulate discrete, continuous or hybrid complex systems, hence allowing 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)
  • Actuation Conflict Detection : DEVS can model complex physical interactions between actuators through a real physical environment (e.g. heater/cooler). Without modeling the complete IoT application, application running in a physical simulator may be an alternative for conflict detection.

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

MSc Thibaut Gonnin, SPARKS Research Team member

Prof. Bernard P. Zeigler, Chief Scientist at RTSync Corp., Professor Emeritus of Electrical and Computer Engineering at the University of Arizona (UA) and Affiliated Research Professor in the C4I Center at George Mason University

9:30 - 10:00: Welcome Coffee

10:00 - 10:15: Roundtable

10:15 - 10:35:

“ENACT: Development, Operation, and Quality Assurance of Trustworthy Smart IoT Systems” Slides of Nicolas Ferry, ENACT Technical Manager, SINTEF

speakers : Jean-Yves Tigli, Stéphane Lavirotte et al.

“IoT and Actuation Conflict Management Challenge, from Conflict Management at Design Time to Runtime Behavioral Drift Analysis” ,Slides

Speakers : Jean-Yves Tigli, Stéphane Lavirotte, Thibaut Gonnin et al.

10:35 - 11:05: “DEVS for IoT ” , speaker : Bernard Zeigler Slides

11:05 - 12:00: Afternoon Agenda to define, All

12:00- 13:30: Lunch break

14:30 - 15:00: Activity Recognition with synchronous language , Ines Sarray

15:00 - 16:00: DEVS simulation for testing FSM execution engine(Actuation Conflict Manager in ENACT) , Discussion on I3S/Corsica Univ. current collaboration, All

• 15:00 - 15:10 : Corsica Univ. : Past results : Soulila Ph. D. on a DEVS model for FSM execution engine , Laurent Capocchi, Jean-François Santucci

• 15:10 - 15:40 : I3S recent progress : How to decribe FSM with ECA, a formal approach …, Speaker : Thibaut Gonnin

• 15:40 - 16:00 : Discussion on this research topic , All
  • How to generate test sets from FSM for DEVs Simulation ?
  • How to evaluate the test coverage ?
  • …

15:00 - 17:30 Discussion on other research topics (Non exhaustive list to be completed) :

• DEVS simulation for actuation conflict detection in a simulated physical environment (at design time in ENACT)
• DEVS Simulation and Other Challenges in IoT

Further collaborations and future works …

20:00 Dinner at the Santana Restaurant in the Saint Laurent du Var Marina

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.

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.

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.