AADL: Architecture Analysis & Design Language

ASSERT

Resources of the ASSERT training can be found here.

Publications

Publications on AADL and the Ocarina tool suite are available here.

Tools

Ressources on Ocarina, an AADL tool suite, can be found here.

An AADL mode for Emacs can be downloaded here. To use it, you should just have to add (load "the/right/path/aadl-mode") to your Emacs configuration file (usually ~/.emacs on Unix systems).