DO Qualification Kit proporciona documentación, casos de prueba y procedimientos que permiten calificar herramientas de verificación de software de Simulink y Polyspace para proyectos basados en DO-178C, DO-278A y suplementos relacionados. Este kit contiene planes de calificación de herramientas, requisitos operativos de herramientas, y otros materiales necesarios para calificar herramientas de verificación de software. Con él, puede simplificar la certificación de sistemas integrados desarrollados empleando flujos de trabajo de diseño basado en modelos con productos de Simulink admitidos. Si utiliza el kit con productos de Polyspace, puede agilizar la certificación de sistemas integrados que empleen flujos de trabajo tradicionales o el diseño basado en modelos.
DO Qualification Kit también permite calificar herramientas de verificación de modelos de Simulink para proyectos basados en DO-254. Simulink Code Inspector y las herramientas de verificación de código de Polyspace no admiten código HDL; por tanto, no son aplicables a DO-254.
Existen kits de calificación de herramientas disponibles para versiones específicas de herramientas de verificación de Simulink y Polyspace basados en DO-330: consideraciones sobre la calificación de herramientas de software. Puede modificar los artefactos del kit de calificación de herramientas para un proyecto específico e incluirlos en los paquetes de certificación de DO-178C, DO-278A y DO-254 sometidos a certificación.
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.
Recursos del producto:
“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”.
¿Tiene interés en DO Qualification Kit?
¿Tiene preguntas?
Comuníquese con el equipo técnico experto en DO Qualification Kit.
Siguientes pasos
Navegación de panel
SOLUCIONES
Estándares de la industria: DO-178C
Navegación de panel
SOLUCIONES
Estándares de la industria: DO-254
