INRIA - Logiciels : Temps réel

Logiciel	Plates-formes	Distribution	Licence	Equipe-Projet
GASPAR : Environnement de développement intégré (IDE) pour le SOC co-visuel de modélisation	Linux et MacOS	téléchargeable	GPL	DART
NETCARBENCH : Générateur de messageries embarquées dans les véhicules	Linux et Windows	téléchargeable	GPL	TRIO
Ocrep : Un outil de répartition automatique pour les langages synchrones	Unix	téléchargeable	licence négociable cdri.rho@inria.fr	POP ART
Polychrony-compilateur : compilateur batch pour le langage Signal	Unix	téléchargeable	licence négociable cdri.rho@inria.fr	ESPRESSO
Polychrony-GUI : environnement graphique pour le langage Signal	Unix	téléchargeable	licence négociable cdri.rho@inria.fr	ESPRESSO
Polychrony-Sigali : système formel pour la vérification et la synthèse de contrôleurs	Unix	téléchargeable	licence négociable cdri.rho@inria.fr	ESPRESSO
SynDEx : un logiciel de CAO niveau-systéme pour applications distribuées temps réel embarquées	Unix et Windows	téléchargeable	licence négociable cdri-roc@inria.fr	AOSTE

Pour chaque logiciel figurant dans ce tableau, on trouve :

une brève description du logiciel qui renvoie sur la page des auteurs ;
les plates-formes sur lesquelles il peut être installé, en considérant les deux grandes familles de systèmes Unix et Windows. Les précisions d'architectures utiles à une installation effective se trouvent sur la page des auteurs ;
le mode de distribution : téléchargeable, cédérom ;
les conditions d'utilisation : libre ou licence (le chargé des relations industrielles pourra vous préciser les conditions d'acquisition) ;
le projet INRIA dans lequel a été conçu et développé ce logiciel.

Logiciel développé en collaboration avec des partenaires

Outils et langages pour les systèmes temps réel