AURORA, Tool suite for AUtomatic code generation and validation of model-based critical inteROpeRAble components

El proyecto AURORA tiene como objetivo proporcionar un conjunto de herramientas europeo para el proceso de desarrollo y validación de un producto de software de vuelo autocodificado, crítico en el dominio espacial y la demostración de la tecnología de codificación automática en un entorno industrialmente relevante.

La demostración de la tecnología se realiza ejercitando el código automatizado en AURORA con los resultados ya validados y verificados del código autogenerado Euclid. La solución del conjunto de pruebas aplicará los estándares y directrices de modelado de última generación para el proceso de generación y validación de Autocoding. Apoyado por el conjunto de herramientas certificado, AURORA definirá el proceso y la metodología del ciclo de vida del software de vuelo autocodificado para la especificación, desarrollo y validación del software. Los procesos basados en la codificación automática seguirán los principios de ingeniería de sistemas basados en modelos (MBSE), incluida la arquitectura basada en componentes, la arquitectura dirigida por modelos (MDA) y la transformación de modelo a prueba.

Además, AURORA asegurará la capacidad de interoperabilidad de la solución a través de la especificación estándar de interfaces de componentes o API para la integración de componentes, tanto para código manual como autogenerado. AURORA concluirá con la demostración de la Evaluación de Viabilidad del conjunto de herramientas y la reducción de los costos no recurrentes de la generación y verificación de software autocodificado.