ADeS, ANDES, Cheddar, Ocarina and Other Tools that Support AADL

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 2.0 with AADL support is a free, real-time, scheduling tool that is composed of an editor and a framework. Cheddar is designed for checking task temporal constraints and buffer sizes of a real-time application/system. It can also help for quick prototyping of real-time schedulers. Finally, it can be used for educational purposes. Cheddar is written in Ada. The graphical editor is made with GtkAda. Cheddar runs on Solaris, Linux, and win32 boxes and should run on every GNAT/GtkAda supported platform. It is developed and maintained by the LISYC Team, University of Brest.

  • The editor permits the description of systems composed of several processors that own tasks, shared resources, and buffers and that exchange messages.
  • The framework includes many feasibility tests and simulation tools. Feasibility tests can be applied to check that task response times are met and that buffers have bounded size. When feasibility tests can not be applied, the studied application can be analyzed with scheduling and buffer simulations. Cheddar provides a way to quickly define "user-defined schedulers" to model scheduling of ad hoc applications/systems (ex : ARINC 653).
  • Download latest version of Cheddar, including source code, binaries, and documentations
  • Read about the Cheddar AADL property sets

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.

Acceleo is a code generator transforming models into code. Acceleo has been packaged with Topcased and has been used to generate other representations such as TLA specifications from AADL models. For release 2.2.0 of Acceleo, the template editor has been enhanced, the user interface is now fully localized, and core features have been added (generic script or template encoding), and the generator modules have been updated.

WW Technology provides dependability solutions. They have recently demonstrated a version of their Error Detection Isolation Containment Types (EDICT) tool interfaced with AADL.