Diseño basado en modelos para cumplimiento con ISO 26262

Día 1 de 5

Visión general del estándar ISO 26262 y el diseño basado en modelos

Objetivo: Obtenga una visión general del estándar ISO 26262 y su papel en el sector de la automoción. Descubra cómo MathWorks apoya a sus clientes en la conformidad con este estándar.

• Estándar ISO 26262
• Visión general del diseño basado en modelos
• Flujo de trabajo de referencia

Gestión de proyectos

Objetivo: Organice archivos de un proyecto (modelos, datos, documentación). Familiarícese con el entorno del proyecto.

• Configuración de proyectos
• Atajos de archivo y etiquetas
• Análisis de las dependencias de archivo

Creación de modelos

Objetivo: Cree y simule un modelo de Simulink para el desarrollo de algoritmos. Gestione los datos del modelo usando diccionarios de datos.

• Entorno de Simulink
• Modelos de tiempo discreto
• Tiempo de muestreo
• Simulación y análisis
• Diccionarios de datos
• Selección de solver

Cumplimiento de modelos

Objetivo: Explore cómo configurar y aplicar los estándares de modelado y comprobar la presencia de errores frecuentes de modelado.

• Estándares de modelado
• Comprobaciones en tiempo de edición
• Model Advisor
• Informes de resultados

Día 2 de 5

Gestión de requisitos

Objetivo: Vincule un modelo de Simulink con los requisitos del software.

• Conjuntos de requisitos
• Importación de requisitos
• Vinculación de requisitos

Verificación de unidades de software

Objetivo: Cree casos de prueba basados en el tiempo y en la lógica para un modelo de Simulink.

• Tipos de verificación
• Detección de errores de diseño
• Creación de un banco de pruebas
• Entradas de prueba
• Lógica en las pruebas
• Evaluaciones basadas en los requisitos

Generación de código para unidades de software

Objetivo: Genere código para una unidad de software. Personalice el código generado para optimizar el almacenamiento y la ejecución de los datos.

• Generación de código para una función de paso
• Prototipos de función
• Optimización del almacenamiento de datos
• Tipos de datos y clases de almacenamiento
• Objetos de datos
• Plantillas de funciones

Día 3 de 5

Subsistemas

Objetivo: Cree particiones funcionales dentro de una unidad de software usando subsistemas. Empaquete subsistemas en bloques de bibliotecas para su reutilización. Cree particiones en el código generado.

• Subsistemas
• Subsistemas de variantes
• Referencias de subsistemas
• Máscaras
• Bibliotecas
• Generación de código de subsistemas

Modelado multitasa

Objetivo: Se presenta un enfoque de modelado basado en tasas y de la función de exportación. Gestione la transición entre tasas.

• Ejecución de bloques
• Sistemas de tasa única
• Sistemas multitasa
• Transiciones de velocidad
• Exportar modelos de funciones

Modelado de arquitecturas

Objetivo: Cree un modelo de arquitectura de software con System Composer. Analice la arquitectura del software y vincúlela al modelo de comportamiento.

• Modelo de arquitectura
• Perfiles y estereotipos
• Editor de interfaces
• Vistas
• Vinculación del modelo de comportamiento

Día 4 de 5

Integración de sistemas

Objetivo: Organice las unidades de software en un modelo de integración usando las referencias de modelos. Configure los ajustes del modelo y los diccionarios de datos para que puedan compartirse entre distintos modelos en la fase de integración.

• Consideraciones de los componentes del sistema
• Referencias de modelos
• Diccionarios de datos de referencia
• Conjuntos de configuración de referencia
  
• Generación de código para el modelo de integración
• Área de trabajo de los modelos

Pruebas in-the-loop

Objetivo: Pruebe y verifique el código generado usando técnicas de prueba in-the-loop.

• Pruebas de software-in-the-loop
• Perfilado de código
• Pruebas de software de referencia de modelos
• Pruebas de processor-in-the-loop

Automatización de la verificación

Objetivo: Cree grupos de pruebas repetibles y genere informes automáticamente a partir de los resultados de las pruebas.

• Archivos de prueba
• Cobertura del modelo
• Cobertura de código
• Generación automática de pruebas
• Informes de resultados de pruebas

Día 5 de 5

Verificación de código

Objetivo: Realice un análisis estático del código generado para asegurarse de que cumple con MISRA C:2012.

• Verificación del código con Polyspace Bug Finder
• Conformidad del software con la norma MISRA C:2012
• Métricas de código

Informes

Objetivo: Analice los métodos de creación automática de informes y documentación a partir de modelos de Simulink. Descubra los métodos de gestión de la configuración en el entorno de un proyecto.

• Panel de pruebas de modelos
• Vistas web
• Informes estándar
• Integración de control de versiones
• Diferencias de archivo

Calificación de herramientas

Objetivo: Utilice IEC Certification Kit (for ISO 26262 and IEC 61508) para garantizar que las herramientas de MathWorks cumplan con el estándar ISO 26262

• Calificación de herramientas
• IEC Certification Kit (for ISO 26262 and IEC 61508)

Caso práctico

Objetivo: Aplique el diseño basado en modelos para implementar un algoritmo de control que muestre el flujo de trabajo de referencia.