Simulink Check

Mida la calidad del diseño, rastree actividades de verificación y verifique la conformidad con estándares

Simulink Check™ analiza modelos, requisitos y pruebas para evaluar la calidad del diseño y la conformidad con estándares. Proporciona comprobaciones y métricas reconocidas por la industria que identifican infracciones de estándares y directrices de modelado a medida que desarrolla un diseño. Algunos de los estándares de desarrollo de software de alta integridad soportados son ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304 y las directrices de estilo de MathWorks Advisory Board (MAB). Simulink Check también soporta estándares de codificación segura, tales como CERT C, CWE e ISO/IEC TS 17961. Puede crear comprobaciones personalizadas para cumplir con sus propios estándares o directrices que pueden identificar problemas de conformidad directamente en el editor.

Simulink Check proporciona métricas tales como tamaño y complejidad para evaluar el estado y la calidad del diseño. El panel de pruebas de modelos combina los datos de sus actividades de pruebas basadas en requisitos para realizar un seguimiento del estado de las pruebas. La reestructuración automática de modelos permite reemplazar los clones de modelado, reducir la complejidad del diseño e identificar el contenido reutilizable. La herramienta Model Slicer aísla el comportamiento problemático presente en los modelos y genera modelos simplificados para depurarlos.

El soporte para estándares de la industria está disponible a través de IEC Certification Kit (for ISO 26262 and IEC 61508) y DO Qualification Kit (for DO-178).

Model Advisor que muestra un navegador con la lista de comprobaciones de estándares de modelado incluida en Simulink Check y un panel con sugerencias, tipos de comprobaciones y estado de los resultados.

Comprobaciones de estándares de la industria en Model Advisor que muestran los resultados de las que se han ejecutado: superadas, fallidas, advertencias y justificadas.

Compruebe la conformidad con estándares de la industria

Utilice comprobaciones preconfiguradas para estándares de la industria tales como ISO 26262, DO-178C, DO-331, DO-254, IEC 61508, ISO 25119, IEC 62304, EN 50128, MISRA C:2012, directrices de MathWorks Advisory Board (MAB), JMAAB, CERT C, CWE e ISO/IEC TS 17961.

Diseño basado en modelos para la conformidad con la certificación DO-254

Documentación | Ejemplos

Estructura de carpetas con comprobaciones personalizadas seleccionadas que genera una advertencia si se utiliza una forma de ícono incorrecta para un operador lógico.

Personalice comprobaciones de modelos

Configure, personalice y automatice comprobaciones personalizadas de Model Advisor para garantizar que los modelos cumplan con las directrices y los estándares propios de su organización.

Documentación | Ejemplos

Encuentre y corrija errores sobre la marcha

Utilice la comprobación en tiempo de edición para identificar errores y solucionarlos a medida que se producen, y así evitar rehacer trabajo más tarde. Cree comprobaciones en tiempo de edición personalizadas para Simulink^®, System Composer™ o Stateflow^® que cumplan con los estándares propios de su organización.

Documentación | Ejemplos

Cómo definir comprobaciones en tiempo de edición personalizadas (3:58)

Panel de pruebas de modelos con un panel de artefactos que muestra un árbol de modelos, requisitos y pruebas.

Seguimiento de pruebas basadas en requisitos

Supervise el estado y la calidad de los artefactos de pruebas unitarias para evaluar la integridad de las pruebas basadas en requisitos y cumplir con los estándares ISO 26262 y DO-178C.

Gestión del proceso de pruebas basadas en requisitos con el panel de pruebas de modelos (5:13)

Documentación | Ejemplos

Panel de métricas que muestra el porcentaje de directrices de alta integridad cumplidas y gráficos de barras de métricas para su posible reutilización, entre otras cosas.

Mida la calidad de modelos con métricas

Recopile métricas de modelo para evaluar la arquitectura, la complejidad y la legibilidad de un modelo de acuerdo con los estándares ISO 26262, DO-178C, DO-331, DO-254, IEC 61508, IEC 62304 y EN 50128, entre otros. Integre métricas tales como tamaño del modelo, líneas de código, estado de conformidad con directrices, reutilización y complejidad en una única vista.

Objetivos de calidad del modelo para la colaboración entre OEM y proveedores (24:13)

Documentación | Ejemplos

$Revise las infracciones y agregue justificaciones o aplique correcciones si están disponibles$

Automatice la revisión de modelos y la generación de informes

Genere informes de Model Advisor para revisiones. Justifique infracciones para eliminar advertencias y errores. Ejecute comprobaciones en varios equipos en paralelo para acelerar la verificación de la conformidad con Parallel Computing Toolbox™.

Documentación | Ejemplos

Modelo de Simulink en el que se han resaltado las señales y los bloques que afectan a la salida de una señal específica.

Simplifique y depure modelos complejos

Utilice Model Slicer para resaltar las dependencias funcionales mediante una combinación de análisis estático y dinámico basado en el comportamiento activo durante la simulación. Depure errores de prueba de referencia o fallos de pruebas de equivalencia, contraejemplos de demostración de propiedades o desbordamientos de enteros.

Depuración de fallos de pruebas de referencia con Model Slicer (4:03)

Documentación | Ejemplos

Patrones duplicados de un modelo resaltados como grupos de clones, y un gráfico de barras que muestra un resumen.

Identifique y refactorice clones de modelado

Analice modelos para localizar clones y patrones de modelado duplicados. Refactorice automáticamente para mejorar la mantenibilidad, aumentar la reutilización y reducir la complejidad del diseño. Detecte patrones ineficientes y refactorícelos para aumentar la eficiencia del código.

Detección de clones de modelado (2:13)

Documentación | Ejemplos

Recursos del producto:

Documentación Ejemplos de código Vídeos Requisitos Notas de la versión

Airbus Helicopters acelera el desarrollo de software certificado según DO-178B con el diseño basado en modelos

“Utilizamos nuestro modelo de diseño de sistemas en Simulink para ARP4754 a fin de establecer requisitos objetivos y estables. Ahorramos tiempo utilizando el modelo como base para nuestro modelo de diseño de software para DO-178 (a partir del cual generamos código de vuelo) y reutilizando las pruebas de validación para la verificación de software.”
Ronald Blanrue, Airbus Helicopters

Vea más casos prácticos