Welcome to Cheddar Wiki

Cheddar is a free real time scheduling tool. Cheddar is designed for checking task temporal constraints of a real time application/system. Systems to analyze can be described with AADL or a with Cheddar specific language. It can help you for quick prototyping of real time schedulers. It can also be used for educational purpose. Cheddar is developed and maintained by the ​LISYC Team, University of Brest.

Cheddar relies on Ocarina to provide schedulability analysis of AADL models. The ocarina team also use the Cheddar analyzer for their research projects and some tutorial/labs. There is a strong cooperation between the two teams.

Cheddar can be run as a ​STOOD or as a ​TOPCASED plugin. The interoperability of STOOD/TOPCASED/Cheddar is managed by Pierre Dissaux (​Ellidiss software) . There is also a strong cooperation between the Cheddar team and Ellidiss technologies to investigate how Cheddar can be effeciently analyze AADL models built with STOOD.

Our real time scheduling simulator is composed of two independent parts : a graphical editor used to describe a real time application/system, and a framework which includes most of classical real time scheduling/feasibility algotithms/tests.

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 site for details).

Cheddar User

Cheddar can be downloaded in Cheddar official webpage.

If you want to report a bug, ask for a new feature, ... click on "New Ticket" tab.

Cheddar developper

Cheddar can be builed using IDE :

• GPS? (GNAT Programming Studio)

• AdaGide?