Simulink Check
Mida la calidad del diseño, haga un seguimiento de las actividades de verificación y verifique la conformidad con estándares
¿Tiene preguntas? Comuníquese con ventas.
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 admitidos son ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304, EN 50716 y las directrices de estilo de MathWorks Advisory Board (MAB). Simulink Check también admite normas de codificación segura, como CERT C, CWE e ISO/IEC TS 17961. Puede crear comprobaciones personalizadas que identifican incumplimientos directamente en el editor, para cumplir con sus propios estándares o directrices.
Simulink Check ofrece paneles y métricas para evaluar el estado y la calidad de un diseño. La refactorizació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 del sector está disponible a través de IEC Certification Kit (for ISO 26262 and IEC 61508) y DO Qualification Kit (for DO-178).
Conformidad con estándares de modelado
Conecte agentes de IA con Simulink Check
Incorpore funcionalidades específicas del dominio en flujos de IA agente.
Compruebe la conformidad con estándares del sector
Utilice comprobaciones preconfiguradas para estándares del sector 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.
Encuentre y corrija errores sobre la marcha
Utilice Model Guidance Dashboard para identificar errores y corregirlos a medida que aparecen y evitar correcciones posteriores. Cree comprobaciones personalizadas en tiempo de edición para Simulink, System Composer o Stateflow a fin de cumplir con los estándares de su organización.
Personalice comprobaciones de modelos
Cree, configure 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.
Automatice la revisión de modelos y la elaboración de informes
Genere informes de Model Advisor para revisiones. Justifique infracciones para eliminar advertencias y errores. Ejecute comprobaciones en múltiples equipos en paralelo para acelerar la verificación de conformidad con Parallel Computing Toolbox.
Ejecute comprobaciones con agentes de IA
Con Simulink Agentic Toolkit y Simulink Check, puede utilizar agentes de IA para crear comprobaciones, revisar conformidad, detectar problemas y proponer correcciones. También puede automatizar las correcciones y volver a comprobar el modelo mientras supervisa las acciones del agente.
Mida la calidad, complejidad y mantenibilidad
Evalúe tamaño, arquitectura y complejidad de un modelo con métricas de modelo para ayudar a mejorar la legibilidad, mantenibilidad y reutilización de artefactos de MATLAB, Simulink y Stateflow de un proyecto. Los paneles combinan las métricas para ayudar a supervisar el progreso de la conformidad con ISO 26262, DO-178C, IEC 61508, IEC 62304, EN 50128 y otros estándares.
Automatización de CI/CD para el diseño basado en modelos
Simplifique la adopción y optimice flujos de trabajo de integración y entrega continuas (CI/CD) con CI Support Package for Simulink. Defina un flujo de CI/CD, precalifique cambios en un equipo de escritorio para evitar fallos de compilación, realice integración con sistemas de integración continua como Jenkins® o GitLab® y ejecute compilaciones incrementales para reducir el tiempo de compilación.
Simplifique y depure modelos complejos
Utilice Model Slicer para resaltar dependencias funcionales mediante una combinación de análisis estático y análisis 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 generado.
Recursos del producto:
“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”.
Preguntas frecuentes sobre Simulink Check
Simulink Check es un complemento de Simulink que ayuda a los equipos de ingeniería a mejorar la calidad de modelos de Simulink identificando automáticamente posibles problemas y verificando la conformidad con directrices de modelado o estándares de la industria. Ofrece herramientas para ejecutar comprobaciones, revisar resultados y realizar un seguimiento de métricas de calidad.
Simulink Check admite estándares de alta integridad, como ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304, EN 50128 y las directrices de MathWorks Advisory Board (MAB), además de estándares de codificación segura como CERT C, CWE e ISO/IEC TS 17961.
Sí, puede configurar, personalizar y automatizar comprobaciones personalizadas de Model Advisor para garantizar que los modelos cumplan con las directrices y los estándares propios de su organización, e identificar incumplimientos directamente en el editor.
Model Testing Dashboard combina datos de actividades de pruebas basadas en requisitos para supervisar el estado y calidad de artefactos de pruebas unitarias y evaluar la cobertura total de pruebas basadas en requisitos para lograr conformidad con los estándares ISO 26262 y DO-178C.
Las comprobaciones en tiempo de edición identifican y corrigen errores a medida que aparecen en el área de diseño de Simulink para evitar correcciones posteriores, y permiten crear comprobaciones personalizadas para Simulink, System Composer o Stateflow que cumplan con los estándares de su organización.
Model Slicer resalta dependencias funcionales para aislar comportamientos problemáticos de modelos y genera modelos simplificados para depurar problemas, como fallos de pruebas de referencia, fallos de pruebas de equivalencia o desbordamientos de enteros.
Sí, Simulink Check analiza los modelos para localizar clones y patrones de modelado duplicados, y luego los refactoriza automáticamente para mejorar la mantenibilidad, aumentar la reutilización y reducir la complejidad del diseño.
Sí, CI/CD Automation for Simulink Check Support Package simplifica la adopción de flujos de trabajo de integración y entrega continuas, lo que permite definir cadenas de tareas, efectuar precalificación en un equipo de escritorio, realizar integración con sistemas como Jenkins o GitLab, y ejecutar compilaciones incrementales.
Simulink Check ofrece métricas de tamaño, arquitectura y complejidad de artefactos de MATLAB, Simulink y Stateflow para ayudar a mejorar la legibilidad, mantenibilidad y reutilización al tiempo que permite supervisar el progreso de la conformidad con estándares.
Sí, puede ejecutar comprobaciones en múltiples núcleos o clusters en modo paralelo para reducir el tiempo de procesamiento y acelerar la verificación de conformidad cuando se combina con Parallel Computing Toolbox.
Prueba gratuita de Simulink Check
Descubra nuestros productos.
¿Tiene interés en comprar?
Obtenga información sobre precios y explore productos relacionados.
¿Es estudiante?
Es posible que su centro educativo ya ofrezca acceso a MATLAB, Simulink y otros productos complementarios mediante una infraestructura Campus-Wide License.
