Architecture Analysis & Design Languange (AADL)
A AADL é uma linguagem de modelagem, utilizada para modelar e analisar arquiteturas de sistemas ciberfísicos e embarcados.
Ela é eficiente para analises baseadas em modelos e especificações de sistemas embarcados complexos em tempo real. Também suporta análise e previsão antecipada de qualidades criticas de sistemas, como desempenho, escalonabilidade e confiabilidade.