El estándar DO-254 define un conjunto de objetivos para certificar hardware de sistemas de aviación. MATLAB® y Simulink® permiten cumplir con los objetivos de DO-254 y ofrecen soporte para estos procesos:
- Administración y seguimiento de requisitos
- Conformidad con estándares de diseño
- Diseño de HDL
- Verificación y validación
Utilizar el diseño basado en modelos también ayuda a cumplir con los objetivos de DO-254 y a materializar las ventajas de coste y plazo de comercialización asociadas a la verificación de requisitos en la fase inicial, el enlace automatizado con requisitos, la comprobación de estándares de modelos y código, la generación de código, la generación de artefactos de informe y la reutilización de casos de prueba.
DO-254 Resources
Material de soporte para DO-254
- Cómo utilizar el diseño basado en modelos para demostrar la conformidad con DO-254 (8:25)
- Certificación de un sistema de control de vuelo implementado en un SoC (13:33)
- Conformidad con STARC y DO-254 utilizando código generado por HDL Coder
- MATLAB y Simulink para sistemas integrados
- Aplicaciones de pruebas automatizadas y HIL para el sector aeroespacial con MathWorks y soluciones Speedgoat
- Metodología de verificación universal (UVM)
- Aserciones de SystemVerilog
- Póster detallado del flujo de trabajo del diseño basado en modelos de DO-254