AADL
Architecture Analysis & Design Language (AADL) - язык описания архитектуры от SAE (Society of Automotive Engineers, США). AADL был разработан для авионики. Является потомком MetaH (архитектурный язык от Honeywell).
AADL применяется для моделирования программного и аппаратного обеспечения встраиваемых систем реального времени. Архитектурная модель, созданная с помощью AADL, может быть использована:
- в проектной документации,
- для анализа (например, выполняемости кода в заданный срок)
- для генерации кода.
Среды разработки
- OSATE
- Ocarina
- TASTE
Полный список: https://wiki.sei.cmu.edu/aadl/index.php/AADL_tools