Lenguaje de análisis y diseño arquitectónico

El lenguaje de análisis y diseño de arquitectura ( AADL ) es un lenguaje de descripción de arquitectura estandarizado por la SAE . ^{[ 1 ]} AADL se desarrolló por primera vez en el campo de la aviónica y se conocía anteriormente como el lenguaje de descripción de arquitectura de aviónica . ^{[ 2 ]} Fue financiado en parte por el Ejército de los Estados Unidos.

El lenguaje de análisis y diseño de arquitectura (AADL) deriva de MetaH, un lenguaje de descripción de arquitectura desarrollado por el Centro de Tecnología Avanzada de Honeywell . AADL se utiliza para modelar la arquitectura de software y hardware de un sistema embebido en tiempo real . Debido a su enfoque en el dominio embebido, AADL contiene construcciones para modelar componentes tanto de software como de hardware (los componentes de hardware se denominan componentes de "plataforma de ejecución" dentro del estándar). Este modelo de arquitectura puede utilizarse como documentación de diseño, para análisis (como la planificabilidad y el control de flujo) o para la generación de código (de la parte de software), como UML . ^{[ 3 ] [ 4 ]}

AADL se define mediante un lenguaje central con una notación única para los aspectos del sistema y del software. Contar con un modelo único facilita el análisis, ya que solo dispone de una representación del sistema. El lenguaje especifica las características propias del sistema mediante propiedades.

El lenguaje se puede ampliar con los siguientes métodos:

• Propiedades definidas por el usuario : los usuarios pueden ampliar el conjunto de propiedades aplicables y agregar las suyas propias para especificar sus propios requisitos.
• Anexos de lenguaje : el lenguaje principal se complementa con lenguajes anexos que enriquecen la descripción de la arquitectura. Hasta el momento, se han definido los siguientes anexos:
  • Anexo de comportamiento: agregar comportamiento de componentes con máquinas de estados
  • Anexo del modelo de errores: especifica las preocupaciones sobre fallos y propagación.
  • Anexo ARINC653: define patrones de modelado para sistemas de aviónica.
  • Anexo del modelo de datos: describe el modelado de restricciones de datos específicas con AADL.

AADL cuenta con el apoyo de una amplia gama de herramientas:

• MASIW es un IDE de código abierto basado en Eclipse para el desarrollo y análisis de modelos AADL. Está desarrollado por ISP RAS.
• OSATE es una herramienta de código abierto que incluye una plataforma de modelado, un visor gráfico y un lenguaje de consulta de restricciones. Para obtener más información, visite el sitio web de OSATE .
• Ocarina, un conjunto de herramientas AADL para generar código a partir de modelos.
• Conjunto de herramientas TASTE , con el apoyo de la Agencia Espacial Europea.

En la wiki pública de AADL se puede encontrar una lista completa del conjunto de herramientas.

AADL se ha utilizado para los siguientes proyectos de investigación:

• AVSI/SAVI : una iniciativa que aprovecha AADL (entre otros lenguajes) para realizar la integración virtual de sistemas aeroespaciales y de defensa.
• META : un proyecto de DARPA para mejorar los métodos de ingeniería de software.
• PARSEC: una iniciativa francesa para validar e implementar sistemas de aviónica a partir de modelos de arquitectura.
• TASTE: una plataforma para diseñar sistemas críticos de seguridad a partir de modelos.

No se puede encontrar una lista completa de los proyectos e iniciativas pasados ​​y actuales en la wiki pública de AADL porque ha sido retirada. A diciembre de 2020, no se había proporcionado ninguna alternativa.

• AADL.info
• wiki pública de AADL
• Herramientas AADL
• AADL en Axlog
• AADL en la Ecole Nationale Supérieure des Télécommunications de Paris (ENST) Archivado el 27 de noviembre de 2006 en la Wayback Machine.
• Análisis de rendimiento de AADL con Cheddar, Univ. de Brest (análisis de sistemas de colas y planificación en tiempo real). Archivado el 28/02/2011 en Wayback Machine.
• Soporte para proyectos industriales mediante Stood para AADL
• AADL en la práctica, un libro dedicado al uso de los lenguajes y sus herramientas de modelado relacionadas.