JY Tigli Homepages

Cette page est en lecture seule. Vous pouvez afficher le texte source, mais ne pourrez pas le modifier. Contactez votre administrateur si vous pensez qu'il s'agit d'une erreur.
{{ :recherche:logo_enact.png?100|}} {{ :recherche:cnrs.jpg?70|}}

====== 3th Workshop on Actuation Conflict Management for IoT =====

===== FSM Execution Engine Model, Testing and Implementation ======

== Wenesday 17th and Thursday 18th of July 2019 ==
{{ :recherche:workshops:arrows-2029158_960_720-678x381.png?300|}}

===== 
For a long time, the IoT (Internet Of Things) or Cyber Physical Systems (CPS) were only considered to build systems for data acquisition from sensor networks in order to proceed to data mining for example. However, IoT systems are also able to interact on their environment by actuators. One of the major problems in
this case is the management of concurrent access conflicts with these actuators, especially in the application composition phase for IoT where the development of these applications is carried out independently. The goal is to identify all convict in these large-scale IoT systems with a divide-and-conquer approach to
provide compliant applications (not leading to inconsistencies in environmental actions). The goal is therefore to provide tools to identify conflict (actuation conflict) in IoT applications whose semantics are unknown and how we will solve them before deployment. In order to carry out this identification as early as the design phase, it is necessary to define conceptual models (logical aspects), operational models (behavioural aspect) and implementation models of embedded synchronous Finite State Machine (FSM) in IoT applications. If the logical models are validated by model checking, the use of the simulation at the implementation models level makes it possible to validate the properties already validated on the logical model. It also allows to propose asynchronous execution machine strategies taking into account any emerging conflicts in the composition of IoT applications. The DEVS (Discrete-Event system Specification) formalism allows an automatic simulation of synchronous and asynchronous FSM in a unified and formal framework. 

During these two days’ workshop we discuss a new approach to manage the conflict of actuators in IoT systems from DEVS simulation models defined early in the design phase of IoT applications. This approach consists in: (i) DEVS modelling of the IoT system (synchronous FSM) with its execution machine (asynchronous FSM); (ii) defining a new DEVS ACM (Actuation Conflict Manager) model that integrates strategies to resolve concurrent access conflicts from actuators; (iii) simulating strategies from input test sets to validate the possible strategy to apply in case of conflict; (iv) integrating the selected strategy into the IoT system to make it compliant.

We also discuss the best way to generate as relevant as possible test sets using some new approaches like evolutionary algorithms. 


== 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 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

|||
{{: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

Invited : Ass. Prof. Gaëtan Rey, SPARKS Research Team member

Invited : MSc Thibaut Gonnin,  SPARKS Research Team member (joined meeting by audio)

Invited : Ass. Prof. Denis Pallez, SPARKS Research Team member


====== 07/17/19 Agenda ======

9:00 - 10:30 : Pickup at the airport, Gaëtan Rey

9:30 - 10:00: Welcome Coffee

10:00 - 10:15 : Round table

10:15 - 11:00 : ** "Actuation Conflict Management for DevOps for Iot in ENACT"  **

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

11:00 - 11:45 : ** "Custom Safe and Reliable Actuation Conflict Manager (ACM)" **

speakers : Jean-Yves Tigli, Thibaut Gonnin et al.

12:00 - 13:30: Lunch Break

13:30 - 14:15:  ** "DEVS and FSM execution engine" **, 

speaker : Laurent Capocchi, Jean-François Santucci et al.

// From past results and papers: Soulila Ph. D. on a DEVS model for FSM execution engine //

14:15 - 15:00: ** Evolutionary Algorithms and Software testing **

speaker : Denis Pallez, I3S SPARKS Team


15:00 - 16:00 : **Coffee break** (during conf call ENACT WP3 for J.-Y. Tigli and S. Lavirotte) 

16:00 - 16:45:  ** Use Case and first simulation results with DevSimPy **,

16:45 - 18:00  ** What kind of Tests and Results ?**
   * How to generate test sets from FSM for DEVs Simulation ? 
   * How to evaluate the test coverage ?
   * Discussion

18:00 - 18:30: ** Mainlines of the journey **, Gaëtan Rey 
** Overview, Summary, Issues **, All

17:30 - 17:45 :** 18th Agenda to adjust**, All

20:00 ** Dinner in Nice ** 

====== 07/18/19 Agenda ======

09:30 - 10:30 :  ** Workshop on Paper Submission to MDE4IOT Workshop**, 
** Title  : Discrete-Event Modeling and Simulation for Actuation Conflict Management of IoT Systems **

[[https://plmlatex.math.cnrs.fr/project/5cb8327665f54a5a752b87f5|Shared files]]

3nd International Workshop on Model-Driven Engineering for the Internet-of-Things (MDE4IoT)
Co-located with MODELS'19, Munich, Germany [[http://www.es.mdh.se/MDE4IoT/|Web Site]]

Authors: Laurent Capocchi, Jean-François Santucci, Thibault Gonnin, Jean-Yves Tigli, Stéphane Lavirotte 

Internal Reviewers during paper in progress : Gaëtan Rey, Denis Pallez

10:30 - 11:00 : ** Action plan **, All

11:00 - 12:00 and 13:00 - 16:00 : ** Paper writting and internal review**, All 

16:00 : Back to the airport, Gaëtan Rey

//Deadline on Friday evening//