Simulink Requirements

 

Simulink Requirements

Cree, gestione y enlace requisitos con modelos, código generado y casos de prueba

Más información:

Creación y organización de requisitos

Cree requisitos con texto enriquecido, especifique atributos y organícelos en conjuntos de requisitos.

Captura de requisitos

Los requisitos y sus fundamentos se pueden describir con texto enriquecido que incluye imágenes, listas numeradas y viñetas. Los atributos adicionales, tales como ID, palabras clave, información de revisión y comentarios, permiten precisar y detallar los requisitos. Puede crear sus propios atributos personalizados para detallar los requisitos con tipos de datos específicos.

Editor de requisitos para crear, editar y organizar requisitos.

Gestión de todos los requisitos de un proyecto

El editor de requisitos permite ver, crear y gestionar todos los requisitos de un proyecto, que incluye:

  • Navegador de requisitos para organizar jerarquías de requisitos
  • Vista de enlaces para gestionar los enlaces de todo el proyecto
  • Inspector de propiedades para ver y editar detalles de requisitos y enlaces
  • Personalizaciones para configurar la visualización y el orden de columnas
  • Herramienta de búsqueda para filtrar grandes conjuntos de requisitos
  • Generación de informes para documentar los requisitos

Cómo trabajar con requisitos y modelos

Cree, visualice, organice y gestione los requisitos al tiempo que realiza actividades de diseño. Trace los requisitos al diseño con el método de arrastrar y colocar e identifique las deficiencias de implementación dentro del entorno de modelado. 

Vista integrada de requisitos, arquitectura y diseño

La perspectiva de requisitos proporciona una vista integrada dentro de SimulinkSystem Composer Stateflow® donde puede visualizar, crear y organizar los requisitos a la vez que realiza actividades de diseño.

Perspectiva de requisitos para gestionar requisitos dentro del entorno de desarrollo de Simulink.

Soporte para ingeniería de sistemas basada en modelos

Mientras desarrolla modelos de arquitectura en System Composer, puede capturar, ver y gestionar directamente los requisitos de sistema con Simulink Requirements. Los requisitos de sistema se pueden enlazar con diferentes elementos de los modelos de arquitectura para establecer un hilo digital entre los requisitos y la arquitectura. Puede analizar la integridad de la arquitectura con el análisis de cobertura de requisitos. Durante el análisis del modelo de arquitectura, se pueden derivar requisitos adicionales y enlazarlos con el modelo.

Trazabilidad con el método de arrastrar y colocar

Puede crear enlaces entre los requisitos y el diseño arrastrando un requisito desde el navegador de requisitos y colocándolo en objetos de modelos de System Composer, Simulink o Stateflow. Aparecerá un ícono en el objeto de modelo para indicar un enlace y navegación al requisito enlazado. Puede optar por mostrar el requisito y su conector en el diagrama del modelo desde el ícono.

Importación y sincronización de requisitos externos

Los requisitos de otras fuentes, como IBM Rational DOORS, Microsoft Word o Microsoft Excel, se pueden importar para editarlos dentro de Simulink o como referencias de solo lectura. Con Requirements Interchange Format (ReqIF), puede importar los requisitos a partir de herramientas de gestión de requisitos de terceros que admiten este formato, tales como Siemens Polarion® ALM™ o Jama Connect™, y trabajar con ellos. Durante la importación, puede controlar la asignación de campos desde el documento externo a Simulink Requirements. Puede especificar la importación de campos asignados a atributos personalizados para que coincidan con el contenido del documento externo. Una operación de sincronización mantiene la coherencia con los requisitos asociados. Si se produce un cambio en los requisitos, se envía una notificación para que pueda evaluar el impacto del cambio.

Visualización de requisitos de otras herramientas y uso de ReqIF para ver actualizaciones y enlaces en la otra herramienta

Identificación y respuesta a cambios

Cuando un requisito cambia, es importante comunicarlo a todo el equipo de trabajo para evitar errores posteriores. Los requisitos y los enlaces cuentan con un historial de revisiones que indica cuándo se modificaron. Simulink Requirements detecta cambios en los requisitos enlazados con los modelos, incluidos los importados de fuentes externas, lo que permite evaluar el impacto del cambio en los diseños y tomar las medidas adecuadas. Puede realizar una operación de diferenciación en un conjunto de requisitos para ver los cambios realizados en los requisitos.

Detección de cambios para notificar cambios en requisitos importados de documentos externos. 

Trazabilidad de requisitos con diseños, código y pruebas

Establezca un hilo digital creando enlaces entre requisitos y elementos de modelo, código de MATLAB, diccionarios de datos, elementos de Stateflow, modelos de arquitectura de System Composer y otros requisitos. Puede enlazar requisitos con casos de prueba, arnés de pruebas, conjuntos de pruebas y secuencias de pruebas en Simulink Test™, y acceder a los enlaces desde el modelo de Simulink o el administrador de pruebas. Con un hiperenlace, puede enlazar el código generado en Embedded Coder®, HDL Coder™ o Simulink PLC Coder™ desde el informe de generación de código a los requisitos. Estos enlaces se presentan como etiquetas de comentarios en el código. Los hiperenlaces del informe de generación de código proporcionan una navegación directa desde el código a los requisitos.

Puede enlazar y trazar elementos de modelos de Simulink con los requisitos de IBM® Rational® DOORS® o IBM® Rational® DOORS® Next Generation.

Con DO Qualification Kit (for DO-178 and DO-254) e IEC Certification Kit (for ISO 26262 and IEC 61508), puede generar una hoja de cálculo de matriz de trazabilidad que muestre información sobre los archivos y rutas de trazabilidad bidireccional entre requisitos, modelo y código.

Trazabilidad de requisitos con System Composer, Simulink, Stateflow, código de MATLAB y artefactos de prueba para el análisis de impacto y documentación.

Seguimiento del estado de actividades de diseño basado en modelos

Visualización del estado de implementación y verificación

Simulink Requirements proporciona el estado de implementación y verificación de los requisitos para identificar deficiencias en la implementación, requisitos ausentes o errores de diseño. Las métricas de implementación y verificación cuantifican la proporción de requisitos que se han implementado en el diseño y se han asociado con casos de prueba, así como la proporción de casos de prueba superados.

Las métricas de cobertura de requisitos aparecen en una columna en el navegador de requisitos, con colores que indican el estado. Un requisito con requisitos secundarios no se implementará ni verificará completamente hasta que se hayan implementado o verificado todos sus requisitos secundarios. Al pasar el cursor sobre el estado, se muestran las métricas acumulativas de los requisitos y sus requisitos secundarios. Si faltan enlaces en el estado, se indica dónde se debe completar la implementación o verificación.

Se pueden enlazar justificaciones con requisitos que no se implementan o verifican en el modelo. Por ejemplo, un requisito no funcional se puede enlazar con una justificación para que se pueda filtrar del estado. También se puede compartir y reutilizar un conjunto común de justificaciones en el modelo.

Visualización del estado de implementación y verificación para saber el estado del proyecto. 

Matriz de trazabilidad de requisitos

Para gestionar los enlaces entre grandes conjuntos de requisitos, modelos y pruebas, la matriz de trazabilidad resume la trazabilidad en una vista de matriz unificada. Cada celda muestra dónde hay enlaces entre artefactos para identificar deficiencias. Mediante filtros, puede ajustar la vista para centrarse en elementos de interés específicos y facilitar la gestión de conjuntos de datos de gran tamaño. Puede resaltar los elementos con enlaces ausentes y ver enlaces con cambios en los requisitos para comprender el impacto de los cambios. Para abordar las deficiencias de cobertura, puede agregar enlaces entre elementos directamente en la matriz de trazabilidad.

Gestión de varios enlaces y seguimiento de cambios en los requisitos en una sola vista con la matriz de trazabilidad

Generación de informes de requisitos

Para revisar y documentar requisitos, puede crear un informe configurable que incluya enlaces, información sobre cambios, y el estado de implementación y verificación. Simulink Report Generator permite crear informes personalizados.