Previous | 
Home
Section: Partnerships and Cooperations
International Initiatives
Inria International Labs
HADES LIAMA project
This joint project is held in collaboration with ECNU Shanghai, together with the Scale Inria team, and extends in scope the Associated Team DAESD (see below). As part of this project Frédéric Mallet spends a sabbatical year at ECNU Shanghai, partly funded by an Inria delegation programme.
We attended a number of LIAMA meetings, both in France and in Beijing, most often in confcall form.
Inria Associate Teams
DAESD
-
Title: Distributed/Asynchronous and Embedded/synchronous Systems Development
-
Inria principal investigator: Robert de Simone (Aoste) / Eric Madelaine (Scale)
-
International Partner (Institution - Laboratory - Researcher):
-
See also: https://team.inria.fr/DAESD/
-
The development of concurrent and parallel systems has traditionally been clearly split in two different families: distributed and asynchronous systems on one hand, now growing very fast with the recent progress of the Internet towards large scale services and clouds; embedded, reactive, or hybrid systems on the other hand, mostly of synchronous behaviour. The frontier between these families has attracted less attention, but recent trends, e.g. in industrial systems, in Cyber-Physical systems (CPS), or in the emerging Internet of Things, give a new importance to research combining them.
The aim of the DAESD associate team is to combine the expertise of the Oasis and Aoste teams at Inria, the SEI-Shone team at ECNU-Shanghai, and to build models, methods, and prototype software tools inheriting from synchronous and asynchronous models. We plan to address modelling formalisms and tools, for this combined model; to establish a method to analyze temporal and spatial consistency of embedded distributed real-time systems; to develop scheduling strategies for multiple tasks in embedded and distributed systems with mixed constraints.
A dedicated Summer School was organized this year in Shanghai (July 8-11), with participation of Julien Deantoni and Frédéric Mallet from Aoste.
DAESD is strongly linked with the LIAMA project HADES, that it supports.