COSMO

In the area of personalized and precision medicine, one of the main goals is the design of decision support software for diagnosis and therapy. In this perspective, the main challenge is the lack of methods to interpret the data of the “omic”. Focusing on the prediction of therapeutic targets based on the analysis of molecular networks, we formalized adapted theoretical frameworks in order to infer the causal targets responsible for phenotypic transition (healthy / sick). Our methodology is implemented in a set of software tools based on game theory and abduction principles applied to Boolean networks.

We also worked on the modeling, simulation and formal verification of decision modules of autonomous and communicating vehicles. We have proposed in this framework an original, scalable and parametric modeling in timed automata and also a modeling of multi-agent simulation, both of which make it possible to evaluate the aspects of security, fluidity and comfort of various decision policies. We have shown in particular, by developing a comparison between these two approaches, what impact the level of abstraction chosen on the indicators considered had. Our simulation method has been implemented in a plugin for the Gama simulator.

We are also interested in Cloud Computing and IoT (Internet of Things) technologies in the context of the Internet of the Future. The deployment of these technologies involves many problems of great complexity. We then proposed several approaches to the modeling of these problems in order to relax some constraints by a better understanding of the specificities of these technologies and their use. We also addressed the problem of holistic and autonomic control of a converging “Cloud IoT” environment meeting the time and processing resource requirements for collecting data from thousands of potentially deployed sensors in the environment. Finally, we proposed a modeling based on Petri nets autonomic mechanisms to manage the elasticity of resources in the Cloud, whose analysis was conducted using our SNAKES tool.

Other applications were studied. In particular we proposed a formal framework for modeling and analysis of distributed storage systems, for example cache hierarchies in high performance computing architectures in collaboration with the CEA. More recently, a collaboration with INRA Montpellier has started on ecosystem modeling and analysis.

The ActONetLib library provides a set of functions for the inference of therapeutic targets in precision medicine.

As part of the eCo-FEV project (efficient Cooperative Infrastructure for Fully Electric Vehicles, with Renault, CEA, Hitachi Europe, Technical University of Berlin, etc.) on autonomous electric vehicles, a software program was developed within IBISC to compute safe navigation instructions from a route proposal, while guaranteeing the tolerance to network loss and execution of navigation instructions, allowing real-time local recalculation of alternative routes, and taking into account the constraints of using an electric car.

The MOST platform enables the orchestration of complex virtualized services in a federated cloud computing infrastructure, it was initially developed as part of the European Easi-Cloud project and then deployed in 3 countries (France, Brazil and Uruguay) as part of the project. AmSud SLA4CLOUD.

SNAKES is a very general library dedicated to the handling Petri nets of all kinds, it has been developed for more than 15 years and is now used in many institutions in France and abroad, for research or for teaching.

On the Evry site, our work in personalized medicine fits directly into the priority scientific areas of the UEVE and Genopole and we collaborate with the I-STEM laboratory specialized in stem cells and mono-genic diseases. In addition, we also collaborate with the Curie Institute, and with the BIOINFO team of LRI and INRIA Paris-Saclay for the theoretical aspects. Finally, the members involved in this theme are part of the Paris-Saclay UPsay-CompBio network / project intended to federate interdisciplinary actions around the study of cancer and these therapies, and at the national level of GT BIOSS.

At Paris-Saclay, we also collaborate with IRT / SystemX on the work on vehicles, and with the LSV (ENS Paris-Saclay) concerning ATL* through the ALESSO research project carried out by COSMO. At the Ile-de-France level (administrative district in France), a large part of the team is involved in the MeFoSyLoMa working group, which brings together researchers in formal methods. MeFoSyLoMa organizes a monthly seminar as well as common actions such as the organization of symposiums, schools, or the publication of books.

The team also maintains numerous international collaborations with renowned researchers: Valentin Goranko, Stockholm; Maciej Koutny, Newcastle; Raymond Devillers, Brussels; Marta Cialdea Mayer, Rome; Bozena Wozna-Szczesniak, Czestochowa; Benjamin Moszkowski, Newcastle; Alessio Lumuscio, London; Wiebe van der Hoek, Liverpool; Aniello Murano, Naples.

Finally, we are working with industry such as Thales, Renault, and Hitachi Europe.