Simulink Check
Simulink® Check™ analiza modelos, requisitos y pruebas para evaluar la calidad del diseño y el cumplimiento con estándares. Proporciona métricas y controles reconocidos por la industria que identifican infracciones de estándares y pautas de modelado a medida que diseña. Los estándares de desarrollo de software de alta integridad admitidos incluyen ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304 y las pautas de estilo de MathWorks Advisory Board (MAB). Simulink Check también admite estándares de codificación segura como CERT C, CWE e ISO/IEC TS 17961. Puede crear controles personalizados para cumplir con sus propios estándares o pautas que pueden identificar problemas de conformidad directamente en el editor.
Simulink Check proporciona métricas como el tamaño y la complejidad para evaluar el estado y la calidad de diseños. Model Testing Dashboard consolida datos de actividades de pruebas basadas en requisitos para realizar un seguimiento del estado de las pruebas. La refactorización automática de modelos permite reemplazar clones de modelos, reducir la complejidad del diseño e identificar contenido reutilizable. La herramienta Model Slicer aísla el comportamiento problemático en los modelos y genera modelos simplificados para la depuración.
El soporte para los 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).
Introducción a Simulink Check
Aprender los aspectos básicos de Simulink Check
Comprobar la conformidad del modelo
Verifica el cumplimiento del modelo con las normas y pautas de seguridad
Personalizar comprobaciones de modelos
Cree configuraciones y comprobaciones de Model Advisor, automatice e impleméntelos para los usuarios
Recopilar métricas de modelos y pruebas
Recopila datos de métricas sobre modelos y artefactos de prueba
Refactorizar modelos
Identifica clones y patrones de modelado para transformar el modelo
Simplificación de modelos con análisis de dependencia
Trazar dependencias de puertos, señales y bloques, segmentar modelos más grandes en modelos independientes simplificados
Integración continua
Cree un proceso de desarrollo y verificación repetible en nivel local y en CI
Verificación y Validación
Utilice los productos Simulink para probar modelos y códigos, comprobar errores de diseño, comparar con estándares, medir la cobertura y validar el sistema
Calificación y certificación de herramientas
Calificar a Simulink Check para la certificación DO e IEC
