Lenguaje que permite la especificación modular concisa de arquitecturas de multiprocesadores desde el nivel de la interfaz del compilador/sistema operativo hasta el nivel del chip. AADL es lo suficientemente rico como para especificar las arquitecturas de destino, a la vez que proporciona un modelo conciso para las microarquitecturas de reloj.
