The LIMI Team has released a new version of the software Cheddar for educational purposes. Written in Ada, Cheddar provides automated services to check temporal constraints
of realtime tasks. Cheddar is a free software under the GNU General Public License. LIMI stands for "Langages et Interfaces pour Machines Intelligentes." To download Cheddar see the Cheddar website.
Here is part of LMI's description of Cheddar. For more specific data, see their website
Cheddar is a free real time scheduling tool. Cheddar is designed for checking
task temporal constraints of a real time application/system. It can help you
for quick prototyping of real time schedulers. It can also be used for educational
Cheddar is developed and maintened by the LISYC
University of Brest.
Cheddar is written in Ada. The graphical editor is made with GtkAda. Cheddar
runs on Solaris, Linux and win32 boxes and should run on every GNAT/GtkAda
supported platforms ( see AdaCore web
Cheddar provides two kind of features : a simulation engine and feasasibility