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).

• Development Status: 3 - Unstable
• Intended Audience: Developers
• License: Eclipse Public License
• Topic: Software Development