Team sardes

Overall Objectives
Scientific Foundations
New Results
Contracts and Grants with Industry

Section: New Results

Virtual Machine

Participants : Olivier gruber, Fabienne Boyer, Ludovic Demontes, Clément Deschamps.

The goal of this work is to develop a new meta-ciruclar virtual machine for the Java language extended with a notion of component, that provides native support for the dynamic reconfiguration of applications and of the virtual machine, and that constitutes its own operating system (in order to run directly on hardware without requiring indpendent operating system support).

A first prototype of the virtual machine has been developed that includes a novel fault-tolerant algorithm for supporting online consistent reconfigurations. In collaboration with the VASY team at INRIA Grenoble, we have formally specified the reconfiguration algorithm and verified it using the CADP toolset developed by VASY. This work has been submitted to publication.


Logo Inria