Team sardes

Overall Objectives
Scientific Foundations
New Results
Contracts and Grants with Industry

Section: Overall Objectives

Overall objectives

The overall goal of the Sardes project-team is to develop software engineering and software infrastructure (operating system, virtual machine, middleware) foundations for the construction of provably dependable, self-manageable distributed systems.

To contribute to the above goal, the project-team has three major objectives:

  1. To develop component-based software technology, that allows the construction of efficient, dynamically configurable systems, and that relies on a well-defined formal foundation.

  2. To develop a “language-based” approach to the construction of configurable, provably dependable operating systems and distributed software infrastructures.

  3. To develop algorithms and control techniques required to build scalable, self-manageable distributed systems.

In line with these objectives, the project-team organizes its research along four major areas:


Logo Inria