[[PageOutline(1-4)]]

= Welcome to Cheddar Wiki =

Cheddar wiki is a web-based platform for Cheddar project management.The following main facilities are available :  
 * Tickets are used for bug reports, feature requests and project tasks (developers organization). 
 * Roadmap and reports provide a view on the ticket system : one can follow Cheddar project evolution.
 * Repository browser grants an access to SVN Cheddar project source code (developers).

Cheddar is a free real time scheduling tool. It is designed for checking task temporal constraints of a real time application/system. Systems to analyze can be described with [http://www.aadl.info/ AADL] or with Cheddar specific language. Cheddar is developed and maintained by the 
Lab-STICC MOCS team, University of Brest and [http://www.ellidiss.com/ Ellidiss technologies].

Cheddar relies on [http://aadl.enst.fr/ Ocarina] to provide schedulability analysis of AADL models. The ocarina team also uses the Cheddar analyzer for their research projects and some tutorial/labs. There is a strong cooperation between the two teams.

Cheddar can be run standalone or as a [http://www.ellidiss.com/ STOOD] or 
http://www.ellidiss.com/ AADLInspector] plug in. AADLInspector contains the commercial version of Cheddar.


Cheddar is written in Ada/GtkAda. Cheddar runs on Solaris, Linux and Win32 boxes and should run on every GNAT/GtkAda supported platforms (see [http://www.act-europe.fr/ AdaCore web site] for details). 

= Cheddar Users  =
Cheddar users can find useful information at [http://beru.univ-brest.fr/~singhoff/cheddar/ Cheddar official web page] :

 * [http://beru.univ-brest.fr/~singhoff/cheddar/#Ref2 Download] and [http://beru.univ-brest.fr/~singhoff/cheddar/#Ref3 install] instructions.

 * A [http://beru.univ-brest.fr/~singhoff/cheddar/#Ref9 mailing list] which is used to share information between Cheddar users (bugs report, new features). One can also check the [wiki:featurebuginstructions features request and bug report instructions] page. 

{{{
#!comment
Furthermore, if you want to report bugs, ask for a new features, participate to Cheddar development, ... You can [wiki:subscribe] to the Cheddar wiki list.
}}}

= Cheddar developers =
This wiki provides support for Cheddar developers through the ticket system but also gives useful information on 
Cheddar building.

== Cheddar Source Code ==
Cheddar source code can be found at the following [http://beru.univ-brest.fr/svn/CHEDDAR-2.0/ SVN repository address].

{{{
#!comment
(a write access will be granted if you have subscribed to the Cheddar wiki list).
}}} 

One can use several tools to access Cheddar [http://subversion.tigris.org/ SVN] repository like [http://tortoisesvn.net/ TortoiseSVN] (a list of SVN client is available [http://subversion.tigris.org/links.html#clients here]).

== Cheddar Compilation/Installation ==

Check the [wiki:building building instructions] page for further information. 

== Cheddar test procedure ==
In this [wiki:testprocedure section], Cheddar test procedure is described.