Simulink Check

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.

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.

Automatización de integración y despliegue continuos para el diseño basado en modelos

Simplifique la adopción y optimice los flujos de trabajo de integración y despliegue continuos para Simulink con el paquete de soporte CI/CD Automation for Simulink Check™. Puede definir un cadena de integración y despliegue continuos, realizar precalificación en un equipo de escritorio para evitar fallos de compilación, realizar integración con sistemas de integración continua tales como Jenkins® o Gitlab®, y ejecutar compilaciones incrementales para reducir el tiempo de compilación.

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.

Mida la calidad, la complejidad y la mantenibilidad 

Evalúe el tamaño, la arquitectura y la complejidad de un modelo con métricas de modelo para mejorar la legibilidad, la mantenibilidad y la reutilización de artefactos de MATLAB®, Simulink® y Stateflow® en un proyecto. Los paneles combinan las métricas para supervisar el progreso de la conformidad con estándares como ISO 26262, DO-178C, IEC 61508, IEC 62304 o EN 50128, entre otros.

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™.

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 (4:03) o fallos de pruebas de equivalencia, contraejemplos de demostración de propiedades (6:33) o desbordamientos de enteros.

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.

“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