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

La generación de código de vuelo convierte automáticamente los modelos en código bien documentado de alta calidad y embebido en unidades reemplazables en línea (LRU), lo que ha permitido a las empresas aeroespaciales reducir la cantidad de líneas de código en un 40%, obtener una calidad de software de vuelo Seis Sigma y conseguir que un piloto automático funcione al primer intento.

Con millones de líneas de código de vuelo generadas hasta la fecha desde Embedded Coder® en LRU, MathWorks continúa desarrollando tecnologías que las organizaciones de producción utilizan para:

  • Arquitectura y diseño de software
  • Generación de código de vuelo
  • Verificación de código de vuelo, incluidas pruebas software-in-the-loop y processor-in-the-loop
  • Certificación DO-178

“Utilizamos nuestro modelo de diseño de sistemas en Simulink para ARP4754 a fin de establecer requisitos estables y objetivos. Ahorramos tiempo utilizando el modelo como base para nuestro modelo de diseño de software para DO-178 (a partir del cual generamos código de vuelo) y reutilizando las pruebas de validación para la verificación de software.”

Ronald Blanrue, Airbus Helicopters

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.

texto alternativo necesario aquí

Generación de código SIMD desde un modelo de Simulink.

Generación e integración de código de vuelo

Embedded Coder genera código embebido a partir de archivos de MATLAB® o modelos de Simulink. Se genera código ANSI/ISO C o C++ de forma predeterminada para cualquier dispositivo. Además, el código se puede optimizar fácilmente para MCU y DSP específicos usando API flexibles. Se admite la integración de código escrito a mano durante la simulación o la generación de código. Utilice GPU Coder™ si desea generar código para GPU.

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.

Certificación DO-178B

DO-178 es el estándar de seguridad principal para el software aeroespacial. MathWorks soporta DO-178 mediante DO Qualification Kit, que permite un flujo de trabajo de generación de código cualificable mediante el uso de herramientas de cualificación para verificar modelos y código, incluido Simulink Code Inspector.