INRIA - Tools for communicating systems

Software	Platforms	Distribution	License	Project
ARIADNE : A Scalable Dynamic Web Service Discovery Protocol for MANET	Linux and Windows	downloadable	LGPL	ARLES
AVISPA : Release of a Tool for the Automatic Validation of Security Protocols	Linux	downloadable	ad-hoc	CASSIS
EnSuite : Extended Netconf Suite	Linux	downloadable	LGPL	MADYNES
ICSOAP : a SOAP engine for resource-constrained devices such as PDA	Linux and Windows	downloadable	LGPL	ARLES
INMIDIO : an INteroperable MIddleware for service Discovery and service InteractiOn	Linux and Windows	downloadable	LGPL	ARLES
IWSAMI : A middleware infrastructure for ambient intelligence based on Web Services	Linux and Windows	downloadable	LGPL	ARLES
MUSDAC : A middleware for MUlti-protocol Service Discovery and ACcess	Linux and Windows	downloadable	LGPL	ARLES
SOFAT : A toolbox for formal manipulation of scenario languages - software engineering	JDK 1.2 on PC ou Sun	downloadable	GPL	DISTRIBCOM
Spread-Ubibus : a software system enabling simple and elegant programming of ubiquitous computing applications	Java	downloadable	GPL license	ACES

For each software application in this table, the following can be found:

a brief description of the software which goes back to the authors' page ;
and the platforms it can be installed on, taking into account the two main system families Unix and Windows; details of seful architecture for effective installation can be found on the authors' page ;
the distribution mode: downloadable or CD ROM ;
the conditions of use: free or license (the industrial relations manager can give you details of acquisition conditions) ;
the INRIA project under which the software was conceived and developed.

Software developed with external partners