Real-Time Softwares

The " Real-Time Systems" team places at disposal a set of free software for the design of real-time systems. It includes tools for formal verification and simulation, real-time executives as well as tools for the development of tools. All softwares are free under LGPL license or Creative Commons License. They are available to the address: http://www.rts-software.org

Romeo :

Formal verification tool for Petri nets

 Romeo-pt

STORM :

Simulation software for multiprocessor real-time systems

STORM

Storm2

HARMLESS:

Hardware architecture description language

Harmless

 
Technical Support : Richard Urunuela
Research Team : Real Time
Logo-cnrsLogo-AtlanSticLogo-UniversiteNantesLogo-MinesNantesLogo-CentraleNanteslunamCOMUE