Diseño basado en modelos para obtener conformidad con DO-178C/DO-331

Día 1 de 3

Visión general del diseño basado en modelos para DO-178C/DO-331

Objetivo: Comprender cómo los flujos de trabajo de MathWorks pueden cumplir con los objetivos de DO-178C y DO-331 y respaldarlos.

• Visión general de los ciclos de vida del sistema, el software y el hardware
• Flujo de trabajo de DO-178C/DO-331 con diseño basado en modelos
• Cumplimiento de los objetivos de DO-178C/DO-331 usando el diseño basado en modelos

Trazabilidad de requisitos

Objetivo: Vincule un modelo a los requisitos de conformidad con el cumplimiento de DO-178/DO-331.

• Visión general de los requisitos en el proceso de DO-178C
• Usar Requirements Toolbox para la trazabilidad de requisitos
• Generar un informe de descripción del diseño de un sistema
• Comprender la compatibilidad con herramientas de requisitos externos

Estándares de modelado para DO-178C/DO-331

Objetivo: Comprender el cumplimiento con los estándares de modelado DO-178C/DO-331.

• Estándares de modelado para aplicaciones de DO-178C/DO-331
• Estándares de modelado en el proceso de diseño basado en modelos
• Usar reglas preconfiguradas de Simulink Check para sistemas de alta integridad

Día 2 de 3

Verificación de modelos

Objetivo: Aprenda a verificar los requisitos de software mediante simulación.

• Crear casos de prueba en Simulink Test
• Entradas de caso de prueba y opciones de recopilación de datos
• Trazar casos de prueba a los requisitos
• Pruebas basadas en requisitos con Simulink Test

Cobertura del modelo

Objetivo: Utilice Simulink Coverage para recopilar datos de cobertura de un modelo.

• Métricas de cobertura de un modelo
• Cobertura de modelo con Simulink Coverage
• Resolución del déficit de cobertura de un modelo

Requisitos derivados y verificación del diseño

Objetivo: Aprenda a utilizar Simulink Design Verifier para la verificación de requisitos de bajo nivel.

• Identificar elementos inaccesibles con Simulink Design Verifier
• Desarrollar pruebas de bajo nivel para identificar el déficit de cobertura de un modelo
• Generar informes de cobertura de un modelo

Día 3 de 3

Verificación y trazabilidad de código-modelo

Objetivo: Utilice Simulink Code Inspector para demostrar la equivalencia estructural y algorítmica entre un modelo y su código generado.

• Visión general de la inspección de código
• Compatibilidad de modelos con Simulink Code Inspector
• Verificación de la trazabilidad del código al modelo

Análisis estático de código y verificación formal de código

Objetivo: Muestre que el código generado cumple con los estándares de codificación y demuestre que es sólido frente a diferentes errores en tiempo de ejecución.

• Visión general de las herramientas de Polyspace
• Ejecutar análisis de Polyspace desde Simulink
• Aplicar estándares de codificación con Polyspace Bug Finder
• Probar la solidez del código con Polyspace Code Prover
• Demostrar la cobertura de acoplamiento de control y datos con Polyspace Code Prover

Verificación de código según los requisitos del software

Objetivo: Utilice Simulink Test para demostrar cobertura completa de código mediante casos de prueba de los requisitos del software; verifique los requisitos en el hardware objetivo.

• Visión general de software-in-the-loop y processor-in-the-loop
• Probar que el código objeto ejecutable cumple los requisitos de alto nivel
• Recopilar la cobertura de código

Calificación de herramientas

Objetivo: Use DO Qualification Kit para garantizar que los productos y funcionalidades de MathWorks obtengan la certificación DO-178C.

• Requisitos de calificación de herramientas
• Visión general de DO Qualification Kit
• Ejemplo de calificación de herramientas
• Herramientas y créditos cualificables
• Personalización de DO Qualification Kit