[[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 [http://www.ea2215.univ-brest.fr/ LISYC] Team, University of Brest and [http://www.ellidiss.com/ Ellidiss technologies]. Cheddar relies on [http://ocarina.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 as a [http://www.ellidiss.com/ STOOD] or as a [http://www.topcased.org/ TOPCASED] plug in. The interoperability of STOOD/TOPCASED/Cheddar is managed by Ellidiss technologies. There is also a strong cooperation between the Cheddar team and Ellidiss technologies to investigate how Cheddar can efficiently analyze AADL models built with STOOD. 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). {{{ #!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 == One can use any text editor and shell tool or the following IDE to build and install Cheddar : * [https://libre.adacore.com/gps/ GPS] (GNAT Programming Studio) (recommended). * [http://www.usafa.af.mil/df/dfcs/bios/mcc_html/adagide.cfm AdaGide]. Check the [wiki:building building instructions] page for further information.