AADL Tooling and Software

AADL Tooling is an open-source suite for working with Architecture Analysis & Design Language (AADL) models outside the traditional OSATE desktop environment. It includes three complementary tools: the AADL Language Server, a reusable Java/Xtext Language Server Protocol implementation; the AADL2 Visual Studio Code Extension, an interactive editor integration that bundles the language server; and osate-cli, a scriptable command-line interface for automated and headless workflows.

The suite provides parsing, semantic validation, completion, hover documentation, model navigation, workspace symbols, multi-project linking, component instantiation, and support for the Behavior Annex and Error Model Annex. Users can validate models incrementally and run latency, bus-load, and mode-reachability analyses from Visual Studio Code or automation pipelines. Depending on the operation, the tools produce instantiated .aaxl2 models, CSV analysis results, and DOT, HTML, or SMV reachability artifacts. Users may download the extension for editor-based development, use osate-cli for repeatable build and verification workflows, or integrate the language server into another LSP-compatible client.

Machine-readable diagnostics, deterministic analyses, and scriptable interfaces make AADL Tooling a foundation for AI-augmented model-based systems engineering research. The tools support experiments in AI-assisted model generation, completion, repair, and verification; automated feedback loops that check generated architectures; benchmark and dataset creation; and human-in-the-loop workflows in which engineers review AI-proposed model changes against established AADL semantics and analyses.