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).
Comience:
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.
Comprobación de la conformidad con los estándares de seguridad
Para mejorar la conformidad de su código generado con CERTC, CWE e ISO/IEC TS 17961, puede comprobar su modelo para identificar posibles construcciones de modelado que puedan permitir la conformidad con los estándares de codificación.
Detección de bloques que pueden reducir la conformidad con los estándares de codificación segura del código generado.
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.
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.
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.
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.
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.
