MATLAB y Simulink para verificación y validación

Verifique y valide sistemas integrados con el diseño basado en modelos

Los equipos de ingeniería utilizan el diseño basado en modelos con MATLAB y Simulink para diseñar sistemas integrados complejos y generar código C, C++ y HDL con calidad de producción. Siguiendo el flujo de trabajo de verificación de alta integridad, los equipos de trabajo pueden realizar análisis estáticos y pruebas basadas en simulación para complementar el diseño basado en modelos con rigor y automatización, lo que permite detectar errores en etapas iniciales y lograr una mayor calidad.

Ingeniería de requisitos

Los requisitos de texto informales se pueden almacenar en documentos, hojas de cálculo o herramientas de gestión de requisitos, como IBM Rational DOORS. Requirements Toolbox permite importar, ver, crear y gestionar requisitos, junto con arquitectura, diseños, código generado y artefactos de prueba. Puede crear un hilo digital desde los requisitos hasta el diseño en System Composer, Simulink y Stateflow, o casos de prueba en Simulink Test. Con esta trazabilidad, puede identificar brechas de implementación o pruebas, y comprender rápidamente el impacto de un cambio en el diseño o banco de pruebas.

Puede formalizar requisitos y analizarlos a fin de verificar la integridad, precisión y exactitud para validarlos en etapas iniciales con el bloque Requirements Table en Requirements Toolbox. Las evaluaciones temporales de Simulink Test permiten verificar requisitos de texto especificando evaluaciones con semántica precisa en un formato de lenguaje natural que se puede evaluar y depurar.


Inyección de fallos sistemáticos y FMEA en Simulink

Puede utilizar simulación para analizar los efectos de fallos y otros comportamientos anormales para desarrollar requisitos de seguridad y verificar la solidez del sistema. Simulink Fault Analyzer permite realizar análisis sistemático de efectos de fallos y seguridad mediante simulación. Este producto efectúa simulaciones de inyección de fallos sin necesidad de modificar el diseño. Puede gestionar fallos modelados en Simulink, Simscape y System Composer. Simulation Data Inspector permite analizar efectos de fallos. Puede realizar análisis de sensibilidad de fallos utilizando el panel de simulaciones múltiples. Puede realizar análisis de seguridad y análisis de modo y efecto de fallos (FMEA), mientras efectúa la simulación. Simulink Fault Analyzer permite crear conexiones formales entre fallos, riesgos, lógica de detección y reducción de fallos, y otros artefactos con Requirements Toolbox.


Conformidad con estándares de certificación

Automatice la verificación de código y modelos conforme a los estándares DO-178, ISO 26262, IEC 61508, IEC 62304 y las pautas de estilo impartidas por MathWorks Advisory Board (MAB). Simulink Check ofrece comprobaciones y métricas reconocidas por la industria que identifican infracciones de estándares y directrices durante el desarrollo. También puede crear comprobaciones personalizadas para verificar la conformidad con estándares o directrices propias. IEC Certification Kit (for ISO 26262 and IEC 61508) y DO Qualification Kit (for DO-178 and DO-254) proporcionan artefactos de calificación de herramientas, certificados y conjuntos de pruebas para ayudar a calificar productos de generación y verificación de código y agilizar la certificación de sistemas integrados.


Confirmación de ausencia de errores y verificación formal de requisitos

El proceso de verificación formal encuentra errores de diseño ocultos que generan desbordamiento de enteros, lógica fallida, infracciones de acceso a arrays y división por cero sin necesidad de simular el diseño. Con Simulink Design Verifier, puede verificar formalmente que un diseño no presenta errores ni vulnerabilidades de seguridad, y demostrar que un diseño cumple con requisitos fundamentales. Si la herramienta encuentra una excepción, genera un contraejemplo para realizar depuración.


Análisis de cobertura de pruebas de modelos

Es importante identificar deficiencias en las pruebas, funcionalidad no intencionada o errores de requisitos. Simulink Coverage calcula qué porcentaje del modelo o código generado se examina durante las pruebas. Aplica métricas estándar de la industria objetivos de cobertura de condición, decisión, condición/decisión modificada (MCDC) y personalizados. Simulink Design Verifier puede generar casos de prueba automáticamente para analizar cobertura incompleta, y alcanzar objetivos de cobertura estructurales y funcionales para pruebas consecutivas.


Análisis estático de código

Para verificar código generado y desarrollado manualmente, los productos de Polyspace utilizan métodos formales para identificar bugs y demostrar la ausencia de errores críticos en tiempo de ejecución, sin necesidad de ejecutar código o casos de prueba. Polyspace Bug Finder comprueba y documenta la conformidad con estándares MISRA, ISO 26262, IEC 61508, DO-178 y normativas de la FDA. Puede comprobar las vulnerabilidades de seguridad del software y los estándares CWE, CERT-C, ISO/IEC 17961, entre otros. Polyspace Code Prover realiza análisis estático en código fuente C y C++ para comprobar la ausencia de errores de desbordamiento, división por cero, acceso a arrays fuera de límites y otros errores en tiempo de ejecución.