INRIA - Software : Real-time Systems

Logiciel	Plates-formes	Distribution	Licence	Projet
GASPAR : an Integrated Development Environment (IDE) for SoC visual co-modeling	Linux and Mac OS	downloadable	GPL	DART
NETCARBENCH : Generator of parameterized automotive message sets	Linux and Windows	downloadable	GPL	TRIO
Ocrep : An automatic parallelization tool for synchronous languages	Unix	downloadable	contact cdri.rho@inria.fr	POP ART
Polychrony-compilateur : a compiler for the Signal language	Unix	downloadable	contact cdri.ren@inria.fr	ESPRESSO
Polychrony-GUI : editor and interactive access to compiling functionalities	Unix	downloadable	contact cdri.ren@inria.fr	ESPRESSO
Polychrony-Sigali : an associated formal system for formal verification and controller synthesis	Unix	downloadable	contact cdri.ren@inria.fr	ESPRESSO
SynDEx : system-level CAD software for distributed real-time on board applications	Unix	binary downloadable and	contact cdri-roc@inria.fr	AOSTE

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

Tools and Languages for Real-time Systems