Section: Partnerships and Cooperations
International Initiatives
Inria International Labs
CIRIC Chili
-
This CIRIC activity is loosely coupled with our (now terminated) SCADA associated team with the Universidad de Chile (UdC). We have some research collaboration with our chilean colleagues, in particular on new usages of the GCM component model for cloud management[7] .
LIAMA Shanghai
-
AOSTE researchers: Robert de Simone, Julien DeAntoni, Frederic Mallet
-
International Partner (Institution - Laboratory - Researcher):
-
The SACCADES project aims at improving the development of reliable cyber physical systems and more generally of distributed systems combining asynchronous with synchronous aspects, with different but complementary angles:
Develop the theoretical support for Models of Computations and Communications (MoCCs) that are the fundamentals basis of the tools. Develop software tools (a) to enable the development and verification of executable models of the application software, which may be local or distributed and (b) to define and optimize the mapping of software components over the available resources. Develop virtual prototyping technology enabling the validation of the application software on the target hardware platform.
The Scale team is involved in particular, with our chinese partners, on studies of semantics and compositional properties, and on the development of software tools supporting the Model-Driven Engineering approaches.
This LIAMA project is tighly linked with our FM4CPS Associated team (Inria principal investigator: Robert de Simone, SCALE participants: Eric Madelaine, Ludovic Henrio, Oleksandra Kulankhina).