Previous | 
Home
Section: Partnerships and Cooperations
International Initiatives
Inria International Labs
LIAMA project SACCADES
This project was supported by the associated-team FM4CPS 8.3.1.2, with Vania Joloboff from EPI TEA in Inria Rennes as Prime Investigator. The chinese partner was ECNU Shanghai, whose status inside LIAMA was then to be established.
FM4CPS
-
International Partner (Institution - Laboratory - Researcher):
-
See also: https://project.inria.fr/fm4cps/
-
Cyber-Physical Systems (CPS) and the connected Internet of Things (IoT) are inherently heterogeneous systems, with ("cyber") computer digital parts interacting with their physical sensible environment, under user requirements for functional and temporal correctness. Thus, design of such systems as a whole requires a diversity of models, and the behavior orchestration between such models must be carefully defined and analyzed.
FM4CPS will address several facets of Formal Model-Driven Engineering for Cyber-Physical Systems and Internet of Things. The design of such large heterogeneous systems calls for hybrid modeling, and the combination of classes of models, most previously well-established in their own restricted area: Formal Models of Computations drawn from Concurrency Theory for the “cyber” discrete processors, timed extension and continuous behaviors for physical environments, requirement models and user constraints extended to non-functional aspects, new challenges for designing and analyzing large and highly dynamic communicating software entities. Orchestration and comparison of models, with their expressive power vs. their decidable aspects, shall be considered with the point of view of hybrid/heterogeneous modeling here. Main aspects are the various timing or quantitative structure extensions relying for instance on a hybrid logical clock model for the orchestration of underlying components.
The associated team aims at various level of research, from formal models, semantics, or complexity, to experimental tools development. This will start for example on one side with building a formal orchestration model for CPSs, based on an hybrid clock model that combine discrete and physical time, synchronous and asynchronous computations or communications. Another goal will be the study of expressiveness and decidability for CPS, based on dedicated sub-families of well-structured push-down systems, addressing both unbounded communication and time-sensitive models.
Beyond their own expertise in this field, the partners will build on the results of previous cooperations in the context of the Liama projects Hades and Tempo, and the associated team DAESD. The current proposal widely broadens the domain of collaboration, and with the inclusion, for the first time, of Jiao Tong University. We expect this is the first step towards the extension of LIAMA in Shanghai with the strengthening of the involvement of E.C.N.U., and the contribution of new top notch universities such as Jiaotong.
Inria International Partners
Declared Inria International Partners
A Memorandum of Understanding (MoU) was signed a couple of years ago between Inria and ECNU Shanghai. The same kind was agreement was also concluded between University Côte d'Azur (UCA) and ECNU, covering mostly our colaboration, both on research and on academic student exchange sides.
We have an ongoing contractual collaborative project on our joint activities on co-modeling, named FIDEL, with the Computer Science department from the University of Verona; it is funded on their side by a specific University programme. The collaboration should be strenghtened on our side with the arrival of Giovanni Liboni, formerly student there, as PhD student working with us on a CIFRE grant by SAFRAN on the same topic.
Participation in Other International Programs
We are active members of the International Joint Lab of Trustworthy Software (IJLTS), of which Eric Madelaine is Steering Committee Member. The lab is funded by the Chinese Ministry of Reseach, and headed by ECNU, Shanghai (together with CWI, ENS Rennes, ENS Lyon, as partners amongst others). This Joint Lab forms the counterpart of the FM4CPS associated team and SACCADES LIAMA project, and in particular funded the Chinese partners in joint actions and visits. All this is reported under the FM4CPS Associated-Team section 8.3.1.2.
Marie-Agnes Peraldi Frati is involved in the DNITT (Danang International Institute of Technology) Institute in Vietnam which is co-managed by UCA and University of Danang. She visited the institute 10 days in May 2017 in the context of the IGLOO ( Specific Domain Language For Experience Global Orchestration) research project. The research topic is on domain specific scenario language for Home care and eHealth.