Simulink Check

Verificación de la conformidad con directrices de estilo y estándares de modelización

 

Simulink Check™ proporciona comprobaciones y métricas reconocidas por la industria que identifican infracciones de estándares y de directrices durante el desarrollo. Algunos de los estándares de desarrollo de software de alta integridad soportados son DO-178, ISO 26262, IEC 61508, IEC 62304 y las Directrices de estilo de MathWorks Automotive Advisory Board (MAAB). Las comprobaciones durante la edición identifican los problemas de conformidad mientras se edita. Tiene la posibilidad de crear comprobaciones personalizadas para adaptarse a sus propios estándares o directrices.

Simulink Check proporciona métricas tales como tamaño y complejidad, que se pueden usar para evaluar la arquitectura del modelo y la conformidad con estándares. Un panel de métricas unificado permite evaluar el estado y la calidad del diseño. La reestructuración automática de modelos permite reemplazar los elementos de diseño duplicados, reducir la complejidad del diseño e identificar el contenido reutilizable. La herramienta Model Slicer aísla el comportamiento problemático presente en un modelo y genera un modelo simplificado para su depuración.

El soporte para estándares del sector está disponible a través de IEC Certification Kit (para ISO 26262 e IEC 61508) y DO Qualification Kit (para DO-178).

 

Comprobación de la calidad del modelo

Verifique la conformidad con directrices de estilo y estándares de modelización.

Comprobaciones listas para usar para el desarrollo de software de alta integridad

A fin de aumentar la calidad y la seguridad de los modelos y el código generado, Simulink Check proporciona comprobaciones preconfiguradas para estándares industriales tales como DO-178C, DO-331, ISO 26262, IEC 61508 y EN 50128, además de MISRA C:2012, las guías de estilo de MAAB, los estándares IEC 62304 para el desarrollo de software de alta integridad y estándares de codificación segura como CERT C, CWE e ISO/IEC TS 17961.

Informes interactivos con resultados y acciones recomendadas.

Identificación y corrección de errores durante la edición

Al igual que el corrector ortográfico evita los errores de ortografía en un documento, la comprobación durante la edición avisa de las infracciones a medida que se edita el modelo. Es posible corregir los errores sobre la marcha para reducir al mínimo los costes de reelaboración y pruebas adicionales en una fase avanzada del proceso de desarrollo.

Detección y corrección de problemas de conformidad en la fase de diseño.

Configuración, personalización y automatización de comprobaciones de modelo

Para garantizar que su modelo sea conforme con los estándares o directrices propios de su organización, puede personalizar las comprobaciones y configuraciones de modelización mediante las APIs de Model Advisor o Model Advisor Configuration Editor. Puede ejecutar comprobaciones en varios equipos en paralelo a fin de acelerar la verificación de la conformidad.

Creación de comprobaciones personalizadas mediante Model Advisor Configuration Editor.

Medición y visualización de métricas de modelo

Evalúe el estado de su proyecto con métricas de herramientas para el diseño basado en modelos.

Recopilación de métricas de modelo

Simulink Check recopila métricas de modelo que se pueden emplear para evaluar la arquitectura, la complejidad y la legibilidad del modelo de conformidad con los estándares DO-178, DO-331, IEC 61508, IEC 62304, ISO 26262 y EN 50128.

Uso de la API de métricas de modelo para recopilar métricas personalizadas. 

Visualización de métricas unificadas mediante un panel

Metrics Dashboard integra 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 que proporciona toda la información sobre la calidad del proyecto.

Metrics Dashboard con una vista unificada del estado del diseño.

Simplificación y depuración de modelos complejos

Utilice Model Slicer para aislar la funcionalidad mediante una combinación de análisis dinámicos y estáticos.

Resaltado de dependencias

Model Slicer emplea análisis de dependencias estáticos para resaltar las interdependencias de bloques, señales y componentes del modelo, así como análisis de dependencias dinámicos basados en el comportamiento activo durante la simulación a fin de comprender mejor las dependencias funcionales en un modelo complejo o de gran tamaño.

Creación de un modelo independiente simplificado

Model Slicer puede aislar una parte del modelo en función de un punto de partida especificado por el usuario, de las señales registradas o de la ventana de tiempo de simulación y guardarla como un modelo más reducido que conserva el comportamiento de simulación para contribuir a depurar y mejorar el rendimiento.

Resaltado de una parte del modelo para la segmentación. 

Segmentación temporal basada en la actividad con Stateflow

El resaltado del modelo se puede limitar a intervalos de tiempo de la simulación cuando solo están activos simultáneamente los estados y las transiciones seleccionados en Stateflow™ durante una simulación a fin de aislar el comportamiento de interés.

Identificación de la lógica activa cuando un estado está activo.

Reestructuración de modelos para mejorar los diseños y aumentar la reutilización de componentes

Identifique los clones y los patrones de modelización que se pueden reestructurar automáticamente para mejorar su mantenimiento.

Identificación y reestructuración de clones de modelización

La herramienta Identify Modeling Clones analiza un modelo para localizar patrones de modelización duplicados. Estos clones duplicados se pueden entonces reestructurar con una librería reutilizable para mejorar el mantenimiento y reducir la complejidad del diseño.

Transformación de modelos para aumentar la reutilización de componentes y la legibilidad

La herramienta Model Transformer identifica los patrones de modelización que se pueden transformar en bloques Variant Source o Variant Subsystem y reestructura el modelo para mejorar la capacidad de reutilización y la estructura de componentes. Permite identificar bloques data store que se pueden eliminar a fin de aumentar la legibilidad.

Localización de patrones de modelización que se pueden reemplazar por variantes.

Funcionalidades más recientes

App Automated Clone Refactoring

detección de clones de patrón de subsistema o librería; refactorización y comprobación de la equivalencia del modelo refactorizado.

Comprobaciones en tiempo de edición en perspectiva de código

identificación de bloques no admitidos para la generación de código.

Depuración de infracciones de demostración de propiedades

ejecución de Model Slicer para depurar infracciones de demostración de propiedades desde Simulink Design Verifier.

Compatibilidad adicional con JMAAB 5.1

automatización de la comprobación de modelos según la directriz de estilo de modelización de JMAAB 5.1.

Comprobaciones adicionales de alta integridad y MAAB 3.0

aumento de la calidad y la conformidad con directrices.

Consulte las notas de la versión para saber los detalles sobre estas características y las funciones correspondientes.

Desarrolle e implemente software de mantenimiento predictivo para sistemas empresariales de IT/OT y dispositivos embebidos.

Consiga una prueba gratuita

30 días de exploración a su alcance.

Descargar ahora

¿Listo para comprar?

Solicitar precio y explore los productos relacionados.

¿Eres estudiante?

Obtenga el software para estudiantes de MATLAB y Simulink.

Más información