ESTÁNDARES DE LA INDUSTRIA

DO-178C y estándares relacionados

DO-178C es una actualización del estándar DO-178B y contiene suplementos que se correlacionan estrechamente con las prácticas actuales de desarrollo y verificación de la industria; por ejemplo, desarrollo y verificación basados en modelos (DO-331) y métodos formales (DO-333). La cualificación de las herramientas se aborda en DO-330.

MATLAB y Simulink soportan el diseño basado en modelos para DO-178C como se ilustra a continuación y como se describe en esta serie de vídeos.

“Modelar con Simulink es fundamental para el trabajo relacionado con ARP 4754 de nuestro equipo; en concreto, la validación de los requisitos a nivel de sistema, el desarrollo de pruebas basadas en requisitos y la definición de los requisitos de software de bajo nivel que utiliza nuestro proveedor para producir código de vuelo DO-178 Level A mediante Simulink y Embedded Coder.”

Rodrigo Fontes Souto, Embraer

Estándares DO-178 con MATLAB y Simulink

Productos

Servicios

Vídeos, webinars y demostraciones

Estándares relacionados soportados por las familias de productos de MATLAB y Simulink

  • DO-178C: consideraciones sobre software en la certificación de sistemas y equipos aéreos
  • DO-278A: directrices de garantía de integridad del software de los sistemas de comunicaciones, navegación, vigilancia y gestión del tráfico aéreo (CNS/ATM)
  • DO-248C: información complementaria para DO-178C y DO-278A
  • DO-330: consideraciones sobre la cualificación de herramientas de software
  • DO-331: suplemento sobre el desarrollo y la verificación basados en modelos para DO-178C y DO-278A
  • DO-332: suplemento sobre tecnología orientada a objetos y tecnologías relacionadas para DO-178C y DO-278A
  • DO-333: suplemento sobre métodos formales para DO-178C y DO-278A

Prensa