Logiciels Temps Réel

L’équipe « Systèmes Temps Réel » met à disposition un ensemble de logiciels libres pour la mise en œuvre des systèmes temps réel. Cela inclut des outils de vérification formelle et en simulation, des supports d’exécution temps réel ainsi que des outils de développement d’outils. Tous les logiciels sont gratuits sous licence LGPL ou Creative Commons Licence. Ils sont disponibles à l’adresse : http://www.rts-software.org

Romeo :

logiciel de vérification formelle de réseaux de Petri

 Romeo-pt

STORM :

logiciel de simulation de systèmes temps réel multiprocesseur

STORM

Storm2

HARMLESS:

langage de description d’architecture matérielle

Harmless

 
Responsable : Olivier-Henri Roux
Support Technique : Richard Urunuela
Equipe(s) : Temps-réel
Logo-cnrsLogo-AtlanSticLogo-UniversiteNantesLogo-MinesNantesLogo-CentraleNanteslunamCOMUE