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 sus 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.
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.
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?
Obtenga MATLAB y Simulink para estudiantes.