A graphical simulator in Roméo v2.5.0

January 12, 2005 on 3:16 pm | In Releases | 2 Comments

A major new feature has been implemented in the new version of Roméo : a TPN and Scheduling-TPN graphical Simulator

And this is not the only new feature of this version! Indeed Roméo now deals with an optimized computation of the state class graph of scheduling-TPN (computation is based on a mix of polyhedral and DBM manipulation) and with the computation of a LTL graph thanks to the Zone-based method (Mercutio).

Roméo also benefits from an upgrade of the GUI (control panel, localization, …).

Roméo v2.5.0 is available in the download section.

Powered by WordPress with Pool theme design by Borja Fernandez. Roméo logo design by Jean-Luc Bechennec.
Entries and comments feeds. Valid XHTML and CSS. ^Top^