TOPCASED-AADL is a subproject of the TOPCASED project. This subproject provides a set of modeling, transforming and verifying tools around AADL (Architecture Analysis and Design Language).
Our tools are based on the AADL metamodel that has been developped by the SEI for the OSATE project.
If you are interested in developing and contributing enhancements or new capabilities for TOPCASED-AADL, please go to the developers area, you will find all necessary informations. Any contribution is welcome !
If you find a bug, or if you are thinking to an improvement of the toolset, please fill a bug/feature request report.