Changes between Version 5 and Version 6 of WikiStart


Ignore:
Timestamp:
02/14/08 17:57:29 (16 years ago)
Author:
jerome
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v5 v6  
    55Cheddar 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. 
    66 
    7 Cheddar can be run as a [http://www.ellidiss.com/ STOOD] or as a [http://www.topcased.org/ TOPCASED] plugin. The interoperability of STOOD/TOPCASED/Cheddar is managed by Pierre Dissaux ([http://www.ellidiss.com/ 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. 
     7Cheddar 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 Pierre Dissaux ([http://www.ellidiss.com/ 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. 
    88 
    9 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. 
     9Our 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. 
    1010 
    1111Cheddar is written in [wiki:Ada]. The graphical editor is made with [wiki: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).  
    1212 
    13 = Cheddar User  = 
     13= Cheddar Users  = 
    1414 
    15 Cheddar can be downloaded in [http://beru.univ-brest.fr/~singhoff/cheddar/ Cheddar official webpage]. 
     15Useful information can be found at [http://beru.univ-brest.fr/~singhoff/cheddar/ Cheddar official web page] : 
    1616 
    17 If you want to report a bug, ask for a new feature, ... click on "New Ticket" tab. 
     17 * [http://beru.univ-brest.fr/~singhoff/cheddar/#Ref2 Download] and [http://beru.univ-brest.fr/~singhoff/cheddar/#Ref3 install] instructions. 
    1818 
    19 = Cheddar developper = 
     19 * A [http://beru.univ-brest.fr/~singhoff/cheddar/#Ref9 mailing list] which is used to share information between Cheddar users. 
    2020 
    21 Cheddar can be builed using IDE :  
    2221 
    23  * [wiki:GPS] (GNAT Programming Studio)  
     22Furthermore, if you want to report bugs, ask for a new features, participate to Cheddar development, ... You can [wiki:subscribe] to the Cheddar wiki list.  
    2423 
    25  * [wiki:AdaGide] 
     24 
     25= Cheddar developers = 
     26 
     27This wiki is also use to provide support for Cheddar developers. 
     28 
     29== Cheddar Source Code == 
     30 
     31Cheddar source code can be found at the following [http://beru.univ-brest.fr/svn/CHEDDAR-2.0/ SVN repository address] (a write access will be granted if you have subscribe to the Cheddar wiki list). 
     32 
     33One 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]). 
     34 
     35== Additional Packages == 
     36 
     37Once you have downloaded Cheddar source code, you will need the following packages : 
     38 
     39 * For windows : 
     40  
     41|| '''Packages''' || '''Instructions''' || 
     42|| '''The GNAT compiler''' || Use GNAT GPL 2007. See [https://libre.adacore.com/ AdaCore web site] ||  
     43|| '''Gtk''' and '''!GtkAda''' || See http://www.gtk.org for details. Use the file in Cheddar SVN repository (required_packages/GtkAda_windows.zip) || 
     44|| '''!XmlAda''' || Use the file in Cheddar SVN repository (required_packages/xmlada-gpl-2.2.0.zip) || 
     45|| '''Aflex''' and '''Ayacc''' || if you plan to change the code of the parametric simulator || 
     46|| '''big number''' || From Jérôme Delcourt. Use the file in Cheddar SVN repository (required_packages/big_number-0.28.zip)|| 
     47|| '''Ocarina AADL Parser''' || Distributed by the [http://www.enst.fr/ ENST Paris]. Download [http://ocarina.enst.fr/releases/ release 1.1] || 
     48 
     49 * For Linux : 
     50 
     51|| '''Packages''' || '''Instructions''' || 
     52 
     53 
     54 * For Solaris :  
     55 
     56|| '''Packages''' || '''Instructions''' || 
     57 
     58 
     59== Cheddar Compilation/Installation == 
     60 
     61Once you have downloaded all necessary packages, unzip them in, for example, a "lib" directory. 
     62 
     63The following IDE can be used Cheddar can be built using IDE :  
     64 
     65 * [https://libre.adacore.com/gps/ GPS] (GNAT Programming Studio) (recommended) : GPS building instructions. 
     66    
     67   1. Launch GPS and open 
     68 
     69 * [http://www.usafa.af.mil/df/dfcs/bios/mcc_html/adagide.cfm AdaGide] :  
     70 
     71   1. Update "gnat.ago" file in "binaries" directory according to the location of Cheddar source Code, GtkAda, big number, ocarina and XmlAda installation directories. 
     72 
     73   2. Open cheddar.adb with AdaGide and push the AdaGide "Build" button. 
     74 
     75   3. Repeat step 2 with xml2xml.adb, aadl2xml.adb, xml2aadl.adb, aadl2aadl.adb and scc.adb. 
     76 
     77   4. Installation rules : copy ".exe" files and DLL files stored in the win32dll directory in the SAME installation directory (e.g. C:\CHEDDAR).