Simulink Check
Mida la calidad del diseño, realice un seguimiento de las actividades de verificación y verifique la conformidad con estándares
Simulink Check™ analiza sus modelos, requisitos y pruebas para evaluar la calidad del diseño y la conformidad con estándares. 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 ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304 y las directrices de estilo de MathWorks Advisory Board (MAB). Simulink Check también soporta estándares de codificación segura, tales como CERT C, CWE e ISO/IEC TS 17961. Puede crear comprobaciones personalizadas para cumplir con sus propios estándares o directrices. Las comprobaciones en tiempo de edición identifican los problemas de conformidad mientras se edita.
Simulink Check proporciona métricas tales como tamaño y complejidad para evaluar el estado y la calidad del diseño. El panel de pruebas de modelos combina los datos de sus actividades de pruebas basadas en requisitos para realizar un seguimiento del estado de las pruebas. La reestructuración automática de modelos permite reemplazar los clones de modelado, reducir la complejidad del diseño e identificar el contenido reutilizable.La herramienta Model Slicer aísla el comportamiento problemático presente en los modelos y genera modelos simplificados para la depuración.
El soporte para estándares del sector está disponible a través de IEC Certification Kit (for ISO 26262 and IEC 61508) y DO Qualification Kit (for DO-178 and DO-254).
Comience:
Recursos gratuitos
Automatización de la verificación y la validación con Simulink
Comprobaciones listas para usar para el desarrollo de software de alta integridad
Para aumentar la calidad y la seguridad de los modelos y del código generado, Simulink Check proporciona comprobaciones preconfiguradas de la conformidad con estándares de la industria, tales como ISO 26262, DO-178C, DO-331, DO-254, IEC 61508, ISO 25119 y EN 50128, además de MISRA C:2012, las directrices de estilo de MathWorks Advisory Board (MAB), los estándares IEC 62304 para el desarrollo de software de alta integridad y estándares de codificación segura tales 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 en tiempo de 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 mediante la comprobación en tiempo de edición.
Configuración, personalización y automatización de comprobaciones de modelo
Para garantizar que su modelo cumpla con los estándares o las directrices de su organización, puede personalizar las comprobaciones y las configuraciones de modelado usando las API o el editor de configuración de Model Advisor. Puede ejecutar comprobaciones en varios equipos en paralelo para acelerar la verificación de la conformidad.
Creación de comprobaciones personalizadas con el editor de configuración de Model Advisor.
Comprobación de la conformidad con los estándares de seguridad
Para reducir los problemas de conformidad en el código generado con respecto a CERTC, CWE e ISO/IEC TS 17961, puede comprobar su modelo para identificar constructos de modelado que pueden generar infracciones de conformidad con estándares de codificación. Las comprobaciones en tiempo de edición pueden identificar problemas a medida que se realizan cambios, tales como la adición de un bloque no recomendado para estándares de codificación segura.
Detección de bloques que pueden afectar a la conformidad con estándares de codificación segura del código generado.
Recopilación de métricas de modelo para medir la calidad
Simulink Check recopila métricas de modelo que se pueden emplear para evaluar la arquitectura, la complejidad y la legibilidad del modelo de acuerdo con los estándares ISO 26262, DO-178C, DO-331, DO-254, IEC 61508, IEC 62304 y EN 50128, entre otros.
Recopilación y personalización de métricas de modelo para evaluar la calidad.
Visualización de métricas unificadas mediante un panel
El panel de métricas 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. Utilice este panel para revisar la calidad de su diseño y la conformidad con estándares durante el proceso de revisión del modelo.
Panel de métricas con una vista unificada del estado del diseño.
Métricas de pruebas basadas en requisitos
El panel de pruebas de modelos proporciona una visión general de la calidad y la integridad de las pruebas basadas en requisitos, y refleja las directrices de estándares de desarrollo de software reconocidos por la industria tales como ISO 26262 y DO-178. Analiza los artefactos de un proyecto a partir de diversas fuentes y herramientas, tales como requisitos, modelos y resultados de pruebas, y proporciona mediciones de métricas detalladas sobre su estado.
Los widgets del panel resumen cada métrica para evaluar rápidamente los resultados actuales de las pruebas, incluidos el cumplimiento de las directrices, la finalización de las pruebas para los requisitos y el porcentaje de requisitos cubiertos en las pruebas.
Revisión y gestión de artefactos de pruebas basadas en requisitos
El panel de pruebas de modelos analiza los artefactos y los enlaces de trazabilidad dentro de su proyecto, y muestra los requisitos funcionales, los casos de prueba y los resultados de las pruebas para cada componente del proyecto en el panel de artefactos. Para que resulte más fácil identificar las deficiencias en la implementación o la verificación, se resaltan los artefactos sin trazabilidad a los modelos.
El panel muestra los artefactos que no se pueden trazar a un componente del proyecto.
Evaluación de la integridad de las pruebas de acuerdo con ISO 26262
Utilice el panel de pruebas de modelos para evaluar la calidad y la integridad de sus actividades de pruebas basadas en requisitos de acuerdo con ISO 26262-6:2018. El panel supervisa la trazabilidad entre los requisitos, las pruebas y los resultados de las pruebas. Analiza los artefactos de implementación y verificación del proyecto, y proporciona métricas de integridad y calidad para los casos y resultados de pruebas basadas en requisitos de acuerdo con ISO 26262-6:2018. El panel organiza los requisitos, los casos de prueba y los resultados de las pruebas bajo los modelos a los que se trazan, proporcionando información sobre la integridad de las pruebas y la cobertura estructural de cada unidad.
Haga clic en el widget de panel para ver los detalles de la métrica en una tabla para las revisiones ISO 26262.
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 para comprender mejor las dependencias funcionales en un modelo complejo o de gran tamaño.
Depuración de errores de diseño o fallos de pruebas
Si encuentra una infracción de propiedad en Simulink Design Verifier™ o un fallo de prueba en Simulink Test™, puede iniciar la depuración con Model Slicer para aislar la causa del error y resolver el problema de forma más rápida.
Creación de modelos independientes simplificados
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.
Resalte una parte de un modelo y segméntelo como un modelo simplificado para la depuració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 para aislar el comportamiento de interés.
Identificación de lógica activa cuando está activo un estado.
Identificación y reestructuración de clones de modelado
La herramienta Identify Modeling Clones analiza un modelo para localizar patrones de modelado duplicados. Estos clones duplicados se pueden reestructurar entonces 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 modelado 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 de almacén de datos que se pueden eliminar para aumentar la legibilidad.
Localización de patrones de modelado que se pueden reemplazar por variantes.
Panel de pruebas de modelos
Realice un seguimiento de la integridad de las pruebas basadas en requisitos para verificar la conformidad con estándares tales como ISO 26262.
Flujos de trabajo de depuración de errores
Con Model Slicer, resalte los componentes del modelo que afectan a las señales con fallos en una prueba de referencia o que causan errores de diseño, tales como el desbordamiento.
Comprobaciones para ISO 25119
Compruebe la conformidad con el estándar ISO 25119.
Editor de exclusiones de Model Advisor
Edite y gestione las exclusiones con un editor actualizado y personalizable.
Rendimiento de comprobación de métricas de Model Advisor
Recopile y analice datos de métrica de modelos más rápidamente con métricas simplificadas de profundidad del subsistema y complejidad ciclomática.
Detección de clones
Reestructure los modelos reemplazando clones exactos por bloques Subsystem Reference.
Comprobaciones de sistemas de alta integridad
Detecte infracciones de las directrices de alta integridad con Simulink Design Verifier.
Directrices de MAB/JMAAB
Seleccione ID secundarios de directrices individuales para un control más preciso de las comprobaciones de directrices.
Consulte las notas de la versión para obtener detalles sobre estas funcionalidades y las funciones correspondientes.
11 prácticas recomendadas para desarrollar aplicaciones ISO 26262 con Simulink
Gestione la complejidad de la interfaz del modelo y los intercambios de datos. Genere código libre de interferencia y separación de archivos. Aumente la eficiencia general en las fases de verificación, validación y documentación.
