DO Qualification Kit (para DO-178 y DO-254)

 

DO Qualification Kit (para DO-178 y DO-254)

Califique herramientas de verificación de Simulink y Polyspace para DO-178, DO-278 y DO-254

Certificación de software de sistemas de aviónica con DO-178

Optimice los procesos de certificación de DO-178C con la orientación para flujos de trabajo y otros materiales del kit. Utilice estos recursos para facilitar el uso de herramientas de software de Simulink y Polyspace para suplementos tales como DO-330, DO-331 y DO-333.

Certificación de hardware de sistemas de aviónica con DO-254

DO Qualification Kit proporciona orientación para flujos de trabajo y otros materiales que facilitan el uso de herramientas de verificación de Simulink para demostrar la conformidad con DO-254.

Calificación de herramientas

Implemente el método de calificación de herramientas especificado en DO-178C utilizando plantillas de documentos, casos de prueba y procedimientos de prueba proporcionados por el kit para calificar productos de Simulink y Polyspace admitidos.

“Con el diseño basado en modelos, nuestro primer vuelo fue perfecto; no tuvimos problemas de control ni de integración. Con Embedded Coder y la generación de código de normas de control a partir de nuestro modelo de Simulink, pudimos eliminar todos los retrasos causados por la generación manual de código, lo que liberó al equipo para trabajar en los objetivos generales del programa”.

Mike Bothwell, Bell Helicopter