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.
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.