Section: Other Grants and Activities
SER-OS associated team
We have launched in 2009 the SER-OS associated team (http://www.irisa.fr/paris/ser-os/index.html ) with the SRT (System Research Team ) team, ORNL (headed by Stephen Scott) on virtualization and resilience in large scale distributed infrastructures (clusters, supercomputers, grids). A workshop has been organized at INRIA Rennes - Bretagne Atlantique on May 13-15, 2009. The scientific leader of the SER-OS associated team is Christine Morin.
Informal collaboration with University of Chicago/Argonne
We have initiated a collaboration with Kate Keahey, head of the research group developing Nimbus IaaS Cloud technology. We have jointly worked on dynamic resource provisioning from Clouds in Grids. Experiments have been conducted using Nimbus and XtreemOS technologies. We are involved in a PIRE proposal on federated virtualized infrastructures submitted by Kate Keahey.
Middle-East, Asia, Oceania
UNCONV associated team
The UNCONV associated team gathers together the PARIS team from INRIA Rennes Bretagne Atlantique, the POP-ART team from INRIA Grenoble - Rhône-Alpes and the Insititute of Computing Technology from the Chinese Academy of Sciences. Thierry Priol is the scientific leader of the UNCONV team.
UNCONV builds upon the observation that reliability of Grid Infrastructures do not yet reach the level at which it can be used for critical applications and programming Grids is very similar with what computer programmers faced before programming languages came in the light. The objective of UNCONV is to investigate disruptive and unconventional approaches in the design of Grid systems and Grid programming paradigms. UNCONV proposes to study how existing open-source operating systems could be extended to facilitate the design of reliable Grid infrastructures and to investigate a new programming paradigm based on the chemical metaphor.
This project is a DGRSRT/INRIA project between the "Ecole Nationale d'Ingénieurs de SFAX" (ENIS), Tunisia, and Inria Rennes – Bretagne Atlantique (EPI Vertecs and Paris ). The project aims at defining a model-based approach for the test of reactive systems. It suggests studying software validation in the context of sensors networks, control-command systems and adaptive applications. A generic methodology is proposed to ensure distributed systems validation. A set of tools will be developed to support the methodology and applied to different applications. Exchanges of researchers, PhD and Master students foster the research collaboration, ideas exchange and the adoption of the results.