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
- Simulink, Simulink Test, Simulink Check y Simulink Coverage para la verificación de modelos cualificados
- Embedded Coder y Simulink Code Inspector para la generación de código cualificado
- Polyspace Bug Finder y Polyspace Code Prover para el análisis formal cualificado
- Simulink Design Verifier y Simulink Coverage para la generación de pruebas cualificadas
- Simulink Test para las pruebas de software cualificadas
- Simulink Coverage para el análisis de cobertura de código cualificado
- Simulink Requirements y Simulink Report Generator para la trazabilidad y la documentación
- DO Qualification Kit para la cualificación de herramientas
Servicios
Vídeos, webinars y demostraciones
- Comprobación en tiempo de edición para encontrar los problemas de conformidad con anterioridad (1:28)
- Uso de herramientas cualificadas en un proceso de desarrollo DO-178C (11 vídeos)
- Simulink para desarrollo de software de vuelo conforme con DO-178 (35:24)
- Diseño basado en modelos para el desarrollo de software DO-178C con las herramientas de MathWorks (9 vídeos)
- El DoD y DO-178C (7:01)
- Caso de estudio de DO-178 (File Exchange)
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
Casos de usuarios
- Leonardo acelera el desarrollo y la conformidad del software de navegación por radar con DO-178C
- Embraer acelera la ingeniería de los requisitos y el prototipado del sistema de control de vuelo del Legacy 500
- Bell Helicopter desarrolla el primer helicóptero comercial Fly-by-Wire del mundo
- BAE Systems entrega software de vuelo DO-178B Level A en la fecha prevista gracias al diseño basado en modelos
- Israel Aerospace Industries desarrolla un software certificado según DO-178B Level B para un tractor aéreo híbrido eléctrico
- Alenia Aermacchi desarrolla software de piloto automático para la certificación DO-178B Level A
- National Aerospace Laboratories demuestra las ventajas del diseño basado en modelos para el desarrollo de software de vuelo DO-178B
- Airbus Helicopters acelera el desarrollo de software certificado según DO-178B con el diseño basado en modelos
- Airbus desarrolla un sistema de gestión de combustible para el A380 mediante el diseño basado en modelos
- Honeywell reduce los tiempos de diseño en un 60%
- Korea Aerospace Industries desarrolla un sistema de control de vibración activa de helicópteros según los estándares DO-178C
- Rolls-Royce: Nuestro camino hacia las líneas de productos basadas en modelos