Team VASY

Members
Overall Objectives
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography
Inria / Raweb 2003
Project: VASY

Project : vasy

Section: Contracts and Grants with Industry


The RNTL Parfums Contract

Participants : Hubert Garavel, Frédéric Lang, Radu Mateescu, Frédéric Tronel.

Parfums (Pervasive Agents for Reliable and Flexible UPS Management Systems) is a pre-competitive Rntl (Réseau National des Technologies Logicielles) two year project. Started in May 2001, Parfums gathers three companies (Mge-Ups, ScalAgent— a startup originating from the former Sirac team of Inria, and Silicomp) and the Vasy team of Inria.

Parfums aims at implementing a safe, flexible architecture (based on Java components) that enables the remote management of uninterruptible power supplies from various equipments (computers, mobile phones, personal assistants, etc.). This architecture relies on the ScalAgent software infrastructure facilities (fault tolerant software bus, mobile agents communicating by messages, and associated development tools) in order to ease the deployment, supervision, reconfiguration, and update of administrative software, while minimizing the cost of these operations.

In 2003, the contribution of Vasy to the Parfums project focused on the modeling and compositional verification of the ScalAgent deployment protocol (see §  6.3.2).


previous
next