Simulink Check
Mida la calidad del diseño, rastree 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 soportados 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 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 ofrece paneles y métricas para evaluar el estado y la calidad de un diseño. 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).
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.
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
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.
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.
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. Evalúe el estado y la calidad de las pruebas de código para pruebas de software-in-the-loop (SIL) y processor-in-the-loop (PIL) utilizando los resultados de las métricas de SIL Code Testing Dashboard y PIL Code Testing Dashboard.
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.
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.
Simplifique y depure modelos complejos
Utilice Model Slicer para resaltar 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.
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.”
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.
