SARDES - 2011 - Annual activity report

SARDES

SARDES - 2011

Project Team Sardes

Members

Overall Objectives

Overall objectives

Scientific Foundations

Components and semantics
Open programming
Software infrastructure
System management and control

Software

AAC_tactics
ATBR
MoKa
ConSer
e-Caching
MRB
BZR

New Results

Languages and Foundations: Process algebra
Languages and Foundations: Proof tactics
Control for adaptive systems: Discrete control for adaptive and reconfigurable systems
System configuration and deployment
System support: System support for multicore machines
System support: Protocols for resilient systems
System support: End-to-end caching
System support: Performance and dependability benchmaking
System support: Self-adaptive Internet services
Self-Configuration of distributed system in the Cloud
Virtual Machine

Contracts and Grants with Industry

Contracts with Industry

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives

Dissemination

Animation of the scientific community
Teaching

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2011 Team Activity Report

SARDES

System architecture for reflective distributed computing environments

Research centre: Grenoble - Rhône-Alpes

In partnership with: CNRS, Institut polytechnique de Grenoble, Université Pierre Mendes-France (Grenoble 2), Université Joseph Fourier (Grenoble 1)

In collaboration with: Laboratoire d'Informatique de Grenoble (LIG)

Field: Networks, Systems and Services, Distributed Computing

Theme: Distributed Systems and Services

Keywords: Software Engineering, Autonomic Computing, Component Programming, Discrete Control Systems, Self-Management