Análisis de arquitectura y lenguaje de diseño

Lenguaje de descripción de arquitectura

El lenguaje de análisis y diseño de arquitectura ( AADL ) es un lenguaje de descripción de arquitectura estandarizado por SAE . ^[1] AADL se desarrolló por primera vez en el campo de la aviónica y anteriormente se conocía como lenguaje de descripción de arquitectura de aviónica . ^[2]

El lenguaje de análisis y diseño de arquitectura se deriva de MetaH, un lenguaje de descripción de arquitectura creado por el Centro de tecnología avanzada de Honeywell . AADL se utiliza para modelar la arquitectura de software y hardware de un sistema integrado en tiempo real . Debido a su énfasis en el dominio integrado , AADL contiene construcciones para modelar tanto componentes 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 se puede utilizar como documentación de diseño, para análisis (como capacidad de programación y control de flujo) o para generación de código (de la parte de software), como UML . ^{[3] [4]}

Ecosistema AADL

AADL se define mediante un lenguaje central que define una notación única para los aspectos del sistema y del software. Tener un modelo único facilita las herramientas de análisis al tener una única representación del sistema. El lenguaje especifica características específicas del sistema mediante propiedades.

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

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

Herramientas AADL

AADL está respaldado por 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. Fue desarrollado por ISP RAS
• OSATE incluye una plataforma de modelado, un visor gráfico y un lenguaje de consulta de restricciones.
• Ocarina, una cadena de herramientas AADL para generar código a partir de modelos
• Cadena de herramientas TASTE, apoyada por la Agencia Espacial Europea

Se puede encontrar una lista completa del conjunto de herramientas en la wiki pública de AADL

Proyectos relacionados

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 se retiró. No se ha proporcionado un reemplazo a diciembre de 2020.

Referencias

1. Lenguaje de análisis y diseño de arquitectura, Instituto de ingeniería de software , Universidad Carnegie-Mellon , Pittsburgh, Pensilvania, EE. UU. Archivado el 1 de noviembre de 2013 en Wayback Machine.
2. Presentación detallada de AADL Archivado el 4 de febrero de 2012 en Wayback Machine .
3. Bordin, M., Comar, C., Falis, E., Gasperoni, F., Moy, Y., Richa, E., y Hugues, J. (2014). Integridad del sistema al software: un estudio de caso.
4. Delange, Julien. "Generación de código con AADL: un informe de última generación".

Enlaces externos

• AADL.info
• Wiki pública de la 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 del rendimiento de AADL con Cheddar, Univ. de Brest (análisis de sistemas de colas y programación en tiempo real) Archivado el 28 de febrero de 2011 en Wayback Machine
• Apoyo a proyectos industriales utilizando Stood para AADL
• AADL In Practice, un libro dedicado al uso de los lenguajes y sus herramientas de modelado relacionadas