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

Ceci est une ancienne révision du document !


3th Workshop on Actuation Conflict Management for IoT

FSM Execution Engine Model, Testing and Implementation

Wenesday 17th and Thursday 18th of July 2019

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

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

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

Invited : MSc Thibaut Gonnin, SPARKS Research Team member

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

Shared files

3nd International Workshop on Model-Driven Engineering for the Internet-of-Things (MDE4IoT) Co-located with MODELS'19, Munich, Germany 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

recherche/workshops/workshop3_acm.1564752660.txt.gz · Dernière modification: 2019/08/02 15:31 par lavirotte