Overall Objectives
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities
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).