Introducción a 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).
Tutoriales
- PASO 1: Detect and Fix Model Advisor Check Violations
- PASO 2: Collect Model Metric Data by Using the Metrics Dashboard
- PASO 3: Detect and Fix Compliance Issues
- PASO 4: Refactor Models to Improve Component Reuse
- Simplify Model for Targeted Analysis of Complex Models Using Model Slicer Tool
Simplify simulation, debugging, and formal analysis of large complex models by focusing on an area of interest.
- Assess Requirements-Based Testing Quality by Using the Model Testing Dashboard
Use dashboard metrics to track the status and quality of testing activities.
Assess and Verify Model Quality
Use industry-recognized checks and metrics that identify standard and guideline violations.
Ejemplos destacados
Crear e implementar una configuración personalizada de Model Advisor
Demuestra cómo agregar comprobaciones personalizadas a Model Advisor y eliminar comprobaciones que no necesita.
Monitor Design Complexity Using Model Maintainability Dashboard
Assess the size, complexity, and architecture of your design.
Explore Status and Quality of Testing Activities Using Model Testing Dashboard
Evaluate the status and quality of model testing in your project.
Identify and Troubleshoot Gaps in Code Testing Results and Coverage
Use the code testing dashboards to assess and address code testing issues.
Vídeos
Comprobación en tiempo de edición para detectar problemas de conformidad con anterioridad
Aprenda cómo la comprobación en tiempo de edición identifica problemas de pautas o estándares en Simulink o Stateflow durante la edición.
Conformidad con estándares de modelado
Verifique la conformidad con estándares utilizando Model Advisor
Uso de herramientas calificadas en un proceso de desarrollo de DO-178C, parte 4: Verificación de modelos calificados: estándares de modelos
Realice análisis estáticos para verificar los estándares, la consistencia y la precisión del modelo, de acuerdo con DO-178C y DO-331.
