Other Tools that Support AADL
The SAE AADL standard suite includes an annex document that defines the AADL meta model, XML schema, and a XMI specification.
ADeS, the Axlog AADL simulator, is available. More information and download are available from http://www.axlog.fr/aadl/ades_en.html.
ANDES (Analysis-based DEsign tool for wireless Sensor networks) is built on top of AADL and OSATE for modeling and analyzing wireless sensor network systems before deployment. Currently ANDES has analysis plug-ins for target tracking analysis and communication scehdulability analysis wich work on AADL system models with differing levels of detail. The ANDES tool has been developed at the University of Virginia by professors Sang H. Son and John A. Stankovic, in a collaboration project with SEI.
Cheddar is a free scheduling tool, written in Ada, designed for checking task temporal constraints of a real-time application/system. It can help you with a quick prototyping of real time schedulers. Cheddar is composed of an editor used to describe a real time application/system and a framework. The graphical editor is made with GtkAda. Cheddar runs on Solaris, Linux, and win32 boxes and should run on every GNAT/GtkAda supported platform. Cheddar is developed and maintained by the LISYC Team, University of Brest.
Ocarina is an effort by ENST in France to develop verifiable distributed middleware. This effort utilizes AADL for modeling the application as well as the middleware. Gaia generates distributed real-time run-time systems for specific AADL models through the use of PolyOrb, a tool suite implemented in Ada to support processing of AADL models.
The Assumption Management Framework (AMF) (pdf, 770kb) was developed by Ajay Tirumala at UIUC as part of his Ph.D. thesis.