El lenguaje de diseño y análisis 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 antes se conocía como el 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 . AAVD se utiliza para modelar el software y el hardware de la arquitectura de un incrustado , en tiempo real del sistema. Debido a su énfasis en el dominio integrado, AADL contiene construcciones para modelar componentes de software y hardware (con los componentes de hardware denominados 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 la planificación y el control de flujo) o para la generación de código (de la parte del 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 solo modelo facilita las herramientas de análisis al tener una sola representación del sistema. El lenguaje especifica características específicas del sistema mediante propiedades.
El idioma 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 idioma : el idioma principal se mejora con los idiomas anexos que enriquecen la descripción de la arquitectura. Por ahora, se han definido los siguientes anexos.
- Anexo de comportamiento: agregar comportamiento de componentes con máquinas de estado
- Anexo del modelo de error: especifica problemas de falla 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 es compatible con una amplia gama de herramientas:
- OSATE incluye una plataforma de modelado, un visor gráfico y una restricción de lenguajes de consulta.
- Ocarina, una cadena de herramientas de AADL para generar código a partir de modelos
- TASTE toolchain , con el apoyo de la Agencia Espacial Europea
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 para la seguridad a partir de modelos
No se puede encontrar una lista completa de los proyectos / iniciativas pasados y actuales en la wiki pública de AADL porque se ha retirado. No se ha proporcionado ningún reemplazo a partir de diciembre de 2020.
Referencias
- ^ Análisis de arquitectura y lenguaje de diseño , Instituto de ingeniería de software , Universidad Carnegie-Mellon , Pittsburgh, Pennsylvania, Estados Unidos. Archivado el 1 de noviembre de 2013 en la Wayback Machine.
- ^ Presentación detallada de AADL Archivado el 4 de febrero de 2012 en Wayback Machine.
- ^ 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.
- ^ Delange, Julien. "Generación de código con AADL: un informe de vanguardia" .
enlaces externos
- AADL.info
- Wiki pública de AADL
- Herramientas AADL
- AADL en Axlog
- AADL en Ecole Nationale Supérieure des Télécommunications de Paris (ENST)
- Análisis de rendimiento de AADL con Cheddar, Univ. de Brest (análisis del sistema de colas y programación en tiempo real)
- Soporte de proyectos industriales utilizando Stood para AADL
- AADL In Practice, un libro dedicado al uso de los lenguajes y sus herramientas de modelado relacionadas