Previous | 
Home
Section: Partnerships and Cooperations
International Initiatives
Inria International Labs
CIRIC Chili
-
This CIRIC activity is loosely coupled with our SCADA associated team with the Universidad de Chile (UdC). We have had some contacts with a software company in Santiago, and starting exploring some possible collaboration in the area of formal specification of distributed applications for Android systems, and generation of “safe by construction” android code. But the effective involvment of CIRIC manpower in this activity has not yet started.
LIAMA Shanghai
-
Modern computing architectures are becoming increasingly parallel, at all levels. Meanwhile, typical applications also display increasing concurrency aspects, specially streaming applications involving data and task parallelism. Cyber physical system interactions also add extra-functional requirements to this high degree of concurrency. The goal of best fitting applications onto architectures becomes a crucial problem, which must be tackled from any possible angle. Our position in the HADES LIAMA project is to consider modeling of applications using formal models of concurrent computation, and specialized model-driven engineering approaches to embody the design flow for such models (analysis, verification, mapping allocation, representation of non-functional properties and constraints). We build on various previous domains of expertise : synchronous languages for embedded system design, asynchronous languages for high-performance cloud computing, and real-time specification languages for cyber-physical interaction aspects.
Inria Associate Teams
DAESD
-
Title: Distributed/Asynchronous, Embedded/synchronous System Development
-
International Partner (Institution - Laboratory - Researcher):
-
See also: http://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”, 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/Scale and Aoste teams at Inria, the SEI-Shone team at ECNU-Shanghai, and to build models, methods, and prototype 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.
-
In 2014, the DAESD associated team co-organized a “Summer School” at ECNU Shanghai.
SCADA
-
Title: Safe Composition of Autonomic Distributed Applications
-
International Partner (Institution - Laboratory - Researcher):
-
See also: http://team.inria.fr/scada
-
The SCADA project aims at promoting the collaboration between NIC LABS (Santiago - Chile) and OASIS team, now SCALE (Inria Sophia Antipolis - France) in the domain of the safe composition of applications. More precisely the project will extend existing composition patterns dedicated to parallel or distributed computing to ease the reliable composition of applications. The strong interactions between formal aspects and practical implementation are a key feature of that project, where formal methods, and language theory will contribute to the practical implementation of execution platforms, development and debugging tools, and verification environments. The composition models we focus on are algorithmic skeletons, and distributed components; and we will particularly focus on the programming and verification of non-functional features. Overall, from formal specification and proofs, this project should lead to the implementation of tools for the design and execution of distributed and parallel applications with a guaranteed behavior.