Team sardes

Members
Overall Objectives
Scientific Foundations
Software
New Results
Contracts and Grants with Industry
Dissemination
Bibliography

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.


previous
next

Logo Inria