Changes between Version 20 and Version 21 of WikiStart


Ignore:
Timestamp:
04/08/08 17:22:34 (17 years ago)
Author:
jlegrand
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v20 v21  
    1212Cheddar 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. 
    1313 
    14 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. 
     14Cheddar can be run standalone or as a [http://www.ellidiss.com/ STOOD] or 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. 
    1515 
    1616Cheddar 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).