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, DO-254 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.
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. 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.