Generación de código de vuelo para sistemas aeroespaciales

Arquitectura y diseño de software

Simulink y Stateflow son ideales para el desarrollo de sistemas de aviónica, GN&C, propulsión, radar y otros diseños de sistemas aeroespaciales. El uso de especificaciones ejecutables en lugar de diagramas estáticos acelera el diseño y permite una pronta verificación y validación. Con System Composer y Requirements Toolbox es posible crear modelos de arquitectura y efectuar el rastreo hasta los requisitos.

Verificación de código de vuelo

Simulink Code Inspector ayuda a automatizar las revisiones de código fuente para estándares de seguridad mediante el análisis de equivalencia estructural y la generación de informes de trazabilidad que implican un modelo y su código generado.

Las pruebas software-in-the-loop (SIL), processor-in-the-loop (PIL) y hardware-in-the-loop (HIL) constituyen la piedra angular de la verificación del código de vuelo, ya que automatizan la ejecución y la comparación de los resultados de código con el comportamiento del modelo de referencia. La creación de un entorno de pruebas PIL se admite mediante el uso de Embedded Coder o una conexión directa a las placas de procesador. Puede crear, ejecutar, revisar y organizar pruebas y conjuntos de pruebas con Simulink Test. Puede calcular la cobertura estructural del código generado mediante Simulink Coverage para medir la exhaustividad de las pruebas.