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.
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”.
Preguntas frecuentes sobre DO Qualification Kit (para DO-178)
El DO Qualification Kit es una colección de documentación, casos de prueba y procedimientos que le ayuda a calificar las herramientas de verificación de MathWorks —como Simulink® y las herramientas basadas en Polyspace®— para proyectos de software y hardware aeronáuticos que deben cumplir con normas como DO 178C, DO 254 y DO 278A.
El DO Qualification Kit está diseñado para respaldar el desarrollo de sistemas aeronáuticos de acuerdo con las directrices empleadas por las autoridades de certificación, proporcionando una forma estructurada de demostrar que las herramientas realizan correctamente sus funciones de verificación previstas y no introducen errores.
El DO Qualification Kit proporciona artefactos de calificación para proyectos basados en DO 178C, DO-331, DO 254 y DO 278A. El DO Qualification Kit se centra en las herramientas de verificación y validación de MathWorks empleadas en un flujo de trabajo de diseño basado en modelos, incluyendo los productos de verificación y validación de Simulink y las herramientas de análisis estático y pruebas de código de Polyspace. Estas herramientas se usan para automatizar las comprobaciones de modelos, el análisis de cobertura, la ejecución de pruebas y las comprobaciones de consistencia modelo-a-código en los flujos de trabajo DO-178C/DO-331 y DO-254. Para la lista detallada y actualizada de herramientas y funciones compatibles, consulte la documentación del DO Qualification Kit en la ayuda del producto.
No. El DO Qualification Kit no ""precalifica"" las herramientas. La calificación de herramientas debe llevarse a cabo en el contexto de cada proyecto específico y su entorno operativo. El usuario de la herramienta es en última instancia responsable de la calificación, incluyendo demostrar que la herramienta es adecuada para su uso previsto y verificar su funcionamiento en el entorno instalado. El DO Qualification Kit proporciona artefactos —como documentos de planificación, requisitos operativos de la herramienta, casos de prueba de calificación e informes de prueba— para apoyar ese esfuerzo de calificación específico del proyecto y reducir la cantidad de documentación y pruebas personalizadas que necesita crear.
El DO Qualification Kit le ayuda a demostrar el cumplimiento del uso de herramientas dentro de un proyecto DO-178C o DO-254 proporcionando: planes y plantillas de calificación de herramientas (por ejemplo, contenido relacionado con PSAC y TQP para herramientas de verificación). Requisitos operativos de la herramienta, especificaciones de prueba y casos de prueba automatizados de calificación que puede ejecutar en su entorno. Documentos de flujo de trabajo que mapean el uso de Simulink, Embedded Coder, Simulink Code Inspector, Polyspace y herramientas relacionadas con los objetivos de DO-178C y DO-254. Estos artefactos están pensados para integrarse en sus planes de proyecto, trazabilidad y gestión de la configuración para que, durante una auditoría, pueda demostrar cómo las actividades de calificación de herramientas respaldan los objetivos de DO-178C, DO-254, DO-330 y DO-331.
Una forma típica de comenzar con el DO Qualification Kit es: abra la aplicación DO Qualification Kit y los proyectos de ejemplo desde MATLAB o Simulink. Desde la aplicación puede abrir los proyectos de ejemplo DO-178C y DO-254, revisar la estructura del proyecto y explorar los artefactos incluidos. Revise los documentos de flujo de trabajo DO-178C y DO-254 incluidos con el kit para entender cómo encajan las herramientas calificadas en sus procesos de desarrollo de sistemas, software y hardware. Adapte los planes, listas de verificación e informes proporcionados (por ejemplo, planes y listas de verificación de calificación de herramientas) para que coincidan con su proceso de desarrollo, suplementos de normas y planes de certificación. Ejecute los casos de prueba de calificación suministrados en su entorno, revise los resultados e incorpore la evidencia generada en la gestión de configuración y el conjunto de datos de certificación de su proyecto. Muchos clientes del DO Qualification Kit comienzan siguiendo el ejemplo DO-178C/DO-254 incluido y luego adaptan el flujo de trabajo y los artefactos a su propia arquitectura de sistema, DAL y cadena de herramientas.
