Simulink Requirements

Cree, gestione y trace los requisitos a modelos, código generado y casos de prueba

 

Simulink Requirements™ permite crear, analizar y gestionar requisitos en Simulink®. Puede crear requisitos de texto enriquecido con atributos personalizados y enlazarlos a diseños, código y pruebas. Los requisitos se pueden importar de fuentes externas y es posible recibir notificaciones automáticas cuando se producen cambios. Puede ver los requisitos y el diseño juntos, establecer enlaces con el método de arrastrar y colocar, anotar diagramas con el contenido de los requisitos, analizar la trazabilidad de los requisitos y navegar entre requisitos, diseños, código generado y pruebas.

Simulink Requirements indica cuándo se producen cambios en los requisitos, diseños o pruebas enlazados. Calcula el estado de implementación y verificación de los requisitos, lo que permite evaluar la integridad del proyecto. El soporte para estándares de la industria está disponible a través de IEC Certification Kit (para ISO 26262 e IEC 61508) y DO Qualification Kit (para DO-178).

Cómo empezar:

Creación y organización de requisitos en Simulink

Cree requisitos en Simulink usando texto enriquecido y organícelos en conjuntos de requisitos.

Captura de requisitos en Simulink

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. Los atributos personalizados permiten ampliar los requisitos con tipos de datos propios.

Editor de requisitos para crear, editar y organizar sus requisitos.

Gestión de todos los requisitos de varios modelos

El editor de requisitos permite ver, crear y gestionar todos los requisitos de diversos modelos. Incluye lo siguiente:

  • 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 la ordenación 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 de su entorno de modelado. 

Vista integrada de requisitos, arquitectura y diseño

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

Perspectiva de requisitos para gestionar los requisitos dentro de su entorno de desarrollo de Simulink.

Soporte para ingeniería de sistemas basada en modelos

Asocie los elementos de los modelos de arquitectura de System Composer con requisitos, evalúe la integridad de la arquitectura y derive requisitos adicionales.

Establecimiento de la trazabilidad con el método de arrastrar y colocar

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

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 como referencias de solo lectura o para introducir modificaciones adicionales dentro de Simulink. Puede utilizar Requirements Interchange Format (ReqIF) para importar los requisitos de las herramientas de terceros que admiten este formato y trabajar con ellos. Durante la importación, se puede controlar la asignación de campos desde el documento externo a Simulink Requirements. Es posible 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 referenciados. Si se produce un cambio en los requisitos, se envía una notificación para que pueda evaluar el impacto del cambio.

Identificación de cambios y respuesta a ellos

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

Detección de cambios para alertar cuando cambian los requisitos importados de documentos externos. 

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

Se proporciona trazabilidad de requisitos con otras herramientas en el ciclo de vida de desarrollo, incluidas herramientas de generación de código y pruebas para la navegación bidireccional a partir de los requisitos, el diseño, la implementación y las pruebas. Puede enlazar requisitos y casos de prueba, conjuntos de pruebas y secuencias de pruebas en Simulink Test™, así como acceder a enlaces desde el modelo de Simulink o el administrador de pruebas. El código generado desde Embedded Coder®HDL Coder™Simulink PLC Coder™ se puede hiperenlazar 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 a los requisitos de IBM® Rational® DOORS® o IBM® Rational® DOORS® Next Generation.

Con DO Qualification Kit (para DO-178) e IEC Certification Kit (para ISO 26262 e IEC 61508), puede generar una hoja de cálculo de matriz de trazabilidad que muestre las rutas de trazabilidad bidireccional de los requisitos al modelo al código, así como información de archivos.

Trazabilidad entre requisitos, objetos de Simulink y Stateflow, y artefactos de prueba a lo largo del ciclo de vida de desarrollo para el análisis de impacto y la documentación.

Seguimiento del estado de las 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 en Simulink para identificar deficiencias en la implementación, requisitos ausentes o errores en el 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 que han superado.

Estas métricas de trazabilidad y verificación cuantifican la integridad de las actividades de desarrollo en el diseño basado en modelos. Las métricas de estado se muestran como 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 implementen o verifiquen 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 debe completarse la implementación o verificación.

Es posible enlazar justificaciones a requisitos que no se implementan o verifican en el modelo. Por ejemplo, un requisito no funcional se puede enlazar a una justificación para filtrarlo del estado. 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 conocer el estado del proyecto. 

Generación de informes de requisitos

Para revisiones y documentación, puede crear un informe configurable que incluya enlaces, información sobre cambios y el estado de implementación y verificación. Con Simulink Report Generator, se pueden crear informes personalizados.

Funcionalidades más recientes

Matriz de trazabilidad

Revise y analice los enlaces entre los requisitos, el diseño o las pruebas con formato de matriz.

Resultados de la verificación externa

Incluya los resultados de fuentes externas en el estado de verificación.

Integración con IBM Rational DOORS Next Generation

Visualice y sincronice los requisitos de DOORS Next Generation.

Integración con System Composer

Soporte para el enlace con puertos.

Selección de varios requisitos y enlaces

Eliminación de lotes y creación de enlaces mediante la selección múltiple en el editor.

Mejoras en la interfaz de programación

Use nuevos métodos para crear, buscar y navegar enlaces.

Consulte las notas de la versión para obtener detalles sobre estas funcionalidades y las funciones correspondientes.