Simulink Check

ACTUALIZACIÓN IMPORTANTE

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.

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

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 o fallos de pruebas de equivalencia, contraejemplos de demostración de propiedades 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