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 las 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).
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.
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.
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.”
Ronald Blanrue, Airbus Helicopters
Obtenga una versión de prueba gratuita
30 días de exploración a su alcance.
¿Listo para 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.