| Version 6 (modified by jerome, 17 years ago) (diff) |
|---|
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 plug in. 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 efficiently 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 algorithms/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 Users
Useful information can be found at Cheddar official web page :
- A mailing list which is used to share information between Cheddar users.
Furthermore, if you want to report bugs, ask for a new features, participate to Cheddar development, ... You can subscribe? to the Cheddar wiki list.
Cheddar developers
This wiki is also use to provide support for Cheddar developers.
Cheddar Source Code
Cheddar source code can be found at the following SVN repository address (a write access will be granted if you have subscribe to the Cheddar wiki list).
One can use several tools to access Cheddar SVN repository like TortoiseSVN (a list of SVN client is available here).
Additional Packages
Once you have downloaded Cheddar source code, you will need the following packages :
- For windows :
| Packages | Instructions |
| The GNAT compiler | Use GNAT GPL 2007. See AdaCore web site |
| Gtk and GtkAda | See http://www.gtk.org for details. Use the file in Cheddar SVN repository (required_packages/GtkAda_windows.zip) |
| XmlAda | Use the file in Cheddar SVN repository (required_packages/xmlada-gpl-2.2.0.zip) |
| Aflex and Ayacc | if you plan to change the code of the parametric simulator |
| big number | From Jérôme Delcourt. Use the file in Cheddar SVN repository (required_packages/big_number-0.28.zip) |
| Ocarina AADL Parser | Distributed by the ENST Paris. Download release 1.1 |
- For Linux :
| Packages | Instructions |
- For Solaris :
| Packages | Instructions |
Cheddar Compilation/Installation?
Once you have downloaded all necessary packages, unzip them in, for example, a "lib" directory.
The following IDE can be used Cheddar can be built using IDE :
- GPS (GNAT Programming Studio) (recommended) : GPS building instructions.
- Launch GPS and open
- AdaGide :
- Update "gnat.ago" file in "binaries" directory according to the location of Cheddar source Code, GtkAda?, big number, ocarina and XmlAda? installation directories.
- Repeat step 2 with xml2xml.adb, aadl2xml.adb, xml2aadl.adb, aadl2aadl.adb and scc.adb.
- Installation rules : copy ".exe" files and DLL files stored in the win32dll directory in the SAME installation directory (e.g. C:\CHEDDAR).
