ACMES team

Samovar lab

New paper “Trustworthy Cross-Organizational Collaborations with Hybrid On/Off-Chain Declarative Choreographies” at ICSOC’2021

Authors: Tiphaine Henry, Amina Brahem, Nassim Laga, Julien Hatin, Walid Gaaloul and Boualem Benatallah

Abstract

Business Process Management communities increasingly adopt the blockchain technology to support trustworthy decentralized execution of processes. In this context, the interest in business process choreographies rises as they offer a distributed way to compose and control cross-organizational processes. In choreographies, the process view is distributed between participants to limit privacy leakages. Hence, the process observability (i.e., who knows what) is challenging. On one side, partners have no insight into each other’s orchestration and communicate peer-to-peer via the public view. On the other side, they have to maintain their internal orchestrations’ states consistent with the choreography’s global state. The need to ensure a privacy-preserving method to enforce a blockchain-based execution thus rises. In the present work, we propose a unified solution for the hybrid on/off-chain generation and execution of business process choreographies. The public view, shared understanding of the cross-organizational process, is triggered by the on-chain smart contract. Participants generate their private views off-chain using this on-chain public view. They execute afterward the private views in their off-chain process execution engine. Our prototypical implementation demonstrates the feasibility of the approach .

PhD thesis defense of David Oudart on May 7 2020: “Model driven engineering applied to Smart Grids design: Cosimulation with FMI approach”

Model driven engineering applied to Smart Grids design: Cosimulation with FMI approach

Abstract

Smart Grids are cyber-physical systems that interface power grids with information and communication technologies to monitor them, automate decision making and balance production with consumption. We want to use simulation to easily evaluate and compare several solutions before deployment in a real environment. The objective of this thesis is thus to propose tools and methods to model and simulate a Smart Grid in an industrial context. We have identified two main issues: How to combine heterogeneous models of a Smart Grid to simulate it? How to ensure consistency between the models produced by different stakeholders during the design of a Smart Grid? To address these issues, we propose a cosimulation approach, using the Functional Mockup Interface (FMI) standard. Our first two contributions are the proposal of a method to allow the exchange of discrete signals between several FMUs, and an extension of the OMNeT++ telecommunications simulation software implementing this method, called fmi4omnetpp. A third contribution is the development of the Smart Grid Simulation Framework tooled environment, which automates a number of repetitive tasks in order to ensure consistency between different simulation models. Finally, a fourth contribution is the formalization of an iterative design approach for the cosimulation of a Smart Grid, and how to integrate our Smart Grid Simulation Framework into it. To do so, we explain the different steps of the approach and the role of the actors involved in the design process, then we present its application to a real case study for which we use our Smart Grid Simulation Framework.

ACMES Team Retirement

Retirement program

19th and 20th December, 2019

at Domaine de Saint-Paul, Saint-Rémy-lès-Chevreuse (https://www.domainestpaul.fr/)

Thursday 19/12

Morning (09:00 to 13:00)
09:00 – 09:30 – Welcome breakfast
09:30 – Introduction of the days, Amel
      – Presentations by groups (intro 5 ‘+ 3’ by non permanent (slot of 5 ‘) + 1 long talk of 20′ + 10’ questions
10:00 – 11:00 – DIEGO (Data IntElliGence and knOwledge) :
– 10:00 – Introduction group DIEGO, Walid
– 10:10 – Blockchain and IoT Conjugation for Process Deployment and Exploration, Leyla, 5′
– 10:25 – From Raw Signals to Human Skills Level in Physical Human-Robot Collaboration for Advanced Manufacturing Applications, Katleen, 5′
– 10:50 – Dynamic knowledge base for programmable networks: consistent views between resources, topology, configuration and service, Walid pour Wassim, 20’+10′
– ?? – P2P business process management based on Blockchain and IoT, Tiphaine, 5′ =>moved to afternoon

11:10 – 11:40 – DiSSEM (Distributed Systems, Software Engineering, and Middleware) :
– 11:10 – Introduction DiSSEM group, Sophie
– 11:20 – Middleware support for energy-awareness in the Internet of Things (IoT), Pedro, 5′
– 11:25 – Distributed processing of heterogeneous and imperfect information for the traceability of a supply chain in the context of the Internet of Things, Mohamed Ahmed, 5′
– 11:30 – Towards Autonomic Version Management in Self-healing Microservices Architecture, Yuwei, 5′
– 11:35 –  Real Analysis Theory in the context of Formal Verification of Cyber-Physical Systems, Marius, 5′
– ?? – A Model Based Toolchain for the Cosimulation of Cyber-Physical Systems with FMI, David, 20’+10′

15′ break


12:15 -13:10 –PDS (Parallel and Distributed Systems) :
– 12:15 – Introduction PDS group, Gaël
– 12:25 – Runtime prediction to guide runtime decisions, Alexis C,
– 12:30 – Scalevisor, un hyperviseur distribué pour le rack Yohan
– 12:45 – Optimization of NUMA effects on the input/output layer of an hypervisor, Damien
– 12:50 – NVcache : A hybrid cache powered by NVRAM, Rémi
– 12:55 – Automatic performance analysis for hybrid parallel applications, Anton
– 13:07 – Non-volatile Memory & Persistent Data Types in Managed Languages, Anatole
– 13:17 – A Domain Specific Language to enforce privacy using SGX, Suba
– 13:23 – Leaderless State Machine Replication and its applications Tuanir
– 13:34 – Degradation : a new principled approach to data consistency, Boubacar

13:40-14h30 : Lunch Break

Afternoon  (14:30 – 18:30)
14h30 – 15h30 –  Parallel  sessions :
Working groups (~8 people permanent staff and PhD students) on research themes (in rupture and also in the continuity of our work)
  1. Green (in IoT, HPC, etc.) (Chantal, Michel S., François, …)
  2. Efficiency of big data and machine learning systems (Bruno, Gaël, Elisabeth, Suba)
  3. Ethics, Reliability and Explainability of AI Systems  (Amel B., Denis, Paul, Sophie, Amel M., Badran, Eric)
  4. Serverless computing (Pierre, Djamel, …)
  5. Smart contract and blockchain for executing distributed applications (Mohamed, Tiphaine, …)

Break 5’
     15:35 – 16:40 –  10 mn of restitution per group

Break 5’

16:40 – 17:40 –  2 Parallel  sessions :
– Session IP Paris
    -Presentation of IP Paris and all the research ecosystem of Saclay
    – Discussion and identification of potential partnerships
    – Discussion of the future of the team
– Technical Session
    – Antidote: virtualized learning labs running over kubernetes”, Olivier
   – Suggestion :
   ECSA/SPLC 2019 Doctoral Symposium Keynote: Professor Carlo Ghezzi
 Becoming and being a researcher–what I wish someone would have told me when I started doing research
 http://researchers.lille.inria.fr/duchien/ECSA-Carlo.pdf

 19:00 – Cocktail &  Dinner


 Friday 20/12 – 08:30 – 12:30

08:00 – 08:30 – Breakfast
08:30 :  Session projet d’équipe (~1h à 1h30)
     – Team project progress report (HCERES)
— Workshops by research groups and restitution
— New issues, opportunities, etc.
— Identify calls for projects

10:00 Break

10:30 : Session miscellaneous  (~1h à 1h30)
           – Current state of IP Paris Master Programs
           – Bilocation: How to deal with TSP bilocation? which impact on the team functioning

12:30 : Lunch and closure of the retirement