Team sardes

Overall Objectives
Scientific Foundations
New Results
Contracts and Grants with Industry

Section: Contracts and Grants with Industry

National Initiatives

ASR Network

The Sardes team is a member of the CNRS research network GDR 725 ASR “Architecture, Système et Réseau”. See .

PiCoq (ANR project)

Participants : Damien Pous, Alan Schmitt, Jean-Bernard Stefani, Thomas Braibant.

The goal of the PiCoq project is to develop an environment for the formal verification of properties of distributed, component-based programs. The project's approach approach lies at the interface between two research areas: concurrency theory and proof assistants. Achieving this goal relies on three scientific advances, which the project intends to address:

The project partners include INRIA (Sardes), LIP (Plume team), and Université de Savoie. the project runs from November 2010 to October 2014.

Project MyCloud (ANR project)

Participants : Sara Bouchenak, Dàmian Serrano.

The objective of the MyCloud project is to define and implement a novel cloud model: SLAaaS (SLA aware Service). The SLAaaS model enriches the general paradigm of Cloud Computing, and enables systematic and transparent integration of service levels and SLA to the cloud. SLAaaS is orthogonal to IaaS, PaaS and SaaS clouds and may apply to any of them. The MyCloud project takes into account both the cloud provider and cloud customer points of view. From cloud provider's point of view, MyCloud proposes autonomic SLA management to handle performance, availability, energy and cost issues in the cloud. An innovative approach combines control theory techniques with distributed algorithms and language support in order to build autonomic elastic clouds. Novel models, control laws, distributed algorithms and languages will be proposed for automated provisioning, configuration and deployment of cloud services to meet SLA requirements, while tackling scalability and dynamics issues. On the other hand from cloud customer's point of view, the MyCloud project provides SLA governance. It allows cloud customers to be part of the loop and to ba automatically notified about the state of the cloud, such as SLA violation and cloud energy consumption. The former provides more transparecy about SLA guaranties, and the latter aims to raise customers' awareness about cloud's energy footprint.

The project partners are INRIA (Sardes is the project coordinator), Grenoble; LIP6, Paris; EMN, Nantes; We Are Cloud, Montpellier; Elastic Grid LLC, USA.

The project runs from November 2010 to October 2013.

Famous (ANR project)

Participants : Eric Rutten, Xin An.

The FAMOUS project (FAst Modeling and Design FlOw for Dynamically ReconfigUrable Systems) intends to make reconfigurable hardware systems design easier and faster, by introducing a complete methodology that takes the reconfigurability of the hardware as an essential design concept and proposes the necessary mechanisms to fully exploit those capabilities at runtime. The tool under development in this project is expected to be used by both indstrial designers and academic researchers, especially for modern application system specific design such as smart cameras, image and video processing, etc.

The project partners are INRIA (Sardes in Grenoble and DaRT in Lille), Université de Bretagne Sud, Université de Bourgogne, Sodius.

The project runs from December 2009 to November 2013.


Logo Inria