Project : vasy
Section: Contracts and Grants with Industry
The RNTL Parfums Contract
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).