Requirements Toolbox

 

Requirements Toolbox

Cree, enlace y valide requisitos para diseños y pruebas

Obtenga una versión de prueba gratuita
Consulte tarifas

Requirements Toolbox™ (anteriormente Simulink Requirements™) permite crear, enlazar y validar requisitos en MATLAB® o Simulink®. Puede crear requisitos utilizando texto enriquecido con atributos personalizados, o bien importarlos desde herramientas de gestión de requisitos.

Puede enlazar requisitos con pruebas, código de MATLAB, y modelos de System Composer™ o Simulink. La toolbox analiza la trazabilidad para identificar deficiencias en la implementación o las pruebas. El resaltado del diseño y la matriz de trazabilidad proporcionan un resumen con enlaces a múltiples artefactos que sirven de guía para solucionar las posibles brechas. Cuando los requisitos cambian, los artefactos enlazados se resaltan y el diagrama de trazabilidad muestra los artefactos ascendentes y descendentes afectados. El código generado a partir de los diseños de Simulink incluye comentarios en el código que indican dónde implementar los requisitos, para ayudarle con las revisiones.

Puede formalizar requisitos y analizarlos para verificar la coherencia, integridad y corrección con el bloque Requirements Table. Con Requirements Perspective, puede visualizar y gestionar los requisitos junto con el diseño. Si se utiliza con Simulink, se pueden crear enlaces simplemente arrastrando y soltando los bloques.

El soporte para estándares de la industria está disponible a través de IEC Certification Kit (for ISO 26262 and IEC 61508) y DO Qualification Kit (for DO-178).

¿Qué es Requirements Toolbox?.
El vídeo dura 2:25.
¿Qué es Requirements Toolbox?
App Requirements Editor que muestra una hoja de cálculo que resume requisitos y atributos detallados en Property Inspector.

Cree y organice los requisitos

Defina requisitos con texto enriquecido, atributos personalizados y palabras clave. Organice jerarquías de requisitos para especificar funcionalidades en el nivel de sistema o en un nivel inferior.

Ingeniería de sistemas: diseño y análisis de arquitecturas de software y sistemas (28:16)

Documentación | Ejemplos

Diagrama de flujo de trabajo que muestra los requisitos en herramientas externas importados en Requirements Toolbox; enlaces de requisitos con código de MATLAB, diseños de Simulink y pruebas; así como la trazabilidad hasta las herramientas externas.

Integre herramientas de requisitos de terceros

Importe y vea requisitos de otras fuentes, tales como IBM® DOORS®, IBM DOORS Next, Microsoft® Word o Microsoft Excel®. Utilice Requirements Interchange Format (ReqIF™) para intercambiar requisitos con herramientas que admitan este formato, tales como Siemens Polarion® ALM™ o Jama Connect™.

Documentación | Ejemplos

Matriz de trazabilidad que muestra requisitos a la izquierda y casos de prueba de Simulink Test arriba. La celda seleccionada, con una ventana emergente, muestra el requisito y el caso de prueba con una opción para crear un enlace.

Realice el seguimiento de requisitos hasta diseños, código y pruebas

Cree un hilo digital para enlazar requisitos, elementos de modelos, código de MATLAB, diccionarios de datos, casos de prueba y arneses de pruebas. Realice el seguimiento hasta herramientas de requisitos externas. Incluya enlaces en informes de generación de código de Embedded Coder™.

Gestión del proceso de pruebas basadas en requisitos con el panel de pruebas de modelos (5:13)

Documentación | Ejemplos

Bloque Requirements Table, dentro de un modelo, que muestra una tabla de condiciones de requisitos previas y posteriores, y acciones con expresiones.

Modele requisitos formales

Especifique requisitos formales utilizando expresiones lógicas con el bloque Requirements Table en Simulink. Utilice simulación para validar estos requisitos formales y realizar un análisis de coherencia, integridad y corrección. Vincule requisitos formales a modelos de diseño para verificar la conformidad.

Cómo modelar requisitos completos y uniformes (9:03)

Documentación | Ejemplos

Requirements Perspective que muestra requisitos de un modelo de sistema de control de crucero de automoción, descripción visible en el modelo, detalles y enlaces en Property Inspector.

Trabaje conjuntamente con requisitos y diseño

Utilice Requirements Perspective para ver, crear y organizar requisitos directamente en los editores de Simulink, System Composer o Stateflow®. Cree enlaces arrastrando y soltando, sin necesidad de modificar el modelo; utilice insignias para localizar los enlaces en el modelo, y anote los requisitos en los diagramas.

Uso de Requirements Perspective para trabajar con requisitos y diseños (2:36)

Documentación | Ejemplos

Tabla de requisitos de un sistema de control de crucero de automoción con barras de colores que muestran el progreso de implementación y verificación de cada requisito, así como una descripción emergente que muestra las métricas de cobertura de un requisito concreto.

Analice la cobertura de requisitos

Identifique deficiencias en la implementación y las pruebas, requisitos ausentes y errores de diseño. Utilice la matriz de trazabilidad para revisar los enlaces entre conjuntos de requisitos, modelos y pruebas de gran tamaño, y solucione las deficiencias agregando enlaces.

Cómo analizar requisitos para elementos de arquitectura con Simulink Requirements (1:05)

Documentación | Ejemplos

Vista de enlaces de Requirements Editor que resalta los cambios en requisitos y casos de prueba.

Identifique el impacto de los cambios

Analice el impacto de los cambios en requisitos o casos de prueba de Simulink Test™ revisando los elementos enlazados resaltados. Cree un diagrama de trazabilidad para visualizar y acceder a los elementos enlazados.

Documentación | Ejemplos

Vista de un modelo de sistema de control de crucero de automoción que muestra información sobre requisitos enlazados en la versión web de Simulink.

Genere informes de requisitos

Cree informes configurables que incluyan enlaces, información sobre cambios, y estado de implementación y verificación. Utilice estos informes para revisiones de diseño y documentación.

Documentación | Ejemplos

Requirements Editor con flechas desde los requisitos hasta dos ventanas del editor de MATLAB, una de las cuales es una prueba unitaria de MATLAB.

Realice un seguimiento de requisitos hasta código y pruebas de MATLAB

Cree, gestione y navegue por enlaces de trazabilidad entre líneas de código de MATLAB e información de requisitos en documentos externos. Resalte la trazabilidad en el editor de MATLAB para identificar brechas en la implementación o las pruebas.

Documentación | Ejemplos

Recursos del producto:

Documentación Ejemplos de código Vídeos Requisitos del producto Notas de la versión
Alenia Aermacchi desarrolla software de piloto automático para la certificación DO-178B Level A

“En proyectos anteriores, realizabamos el análisis de cobertura de requisitos manualmente, basado en una evaluación subjetiva. Simulink, Simulink Coverage y Requirements Toolbox nos permitieron automatizar el análisis y nos proporcionaron métricas de cobertura objetivas, lo que nos ayudó a abreviar la revisión de requisitos para la certificación en un 30%”.

Massimiliano Campagnoli, Alenia Aermacchi
Vea más casos prácticos

Obtenga una versión de prueba gratuita

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

Descargue ahora

¿Listo para comprar?

Obtenga información sobre precios y explore productos relacionados.

Consulte tarifas Comuníquese con ventas

¿Es estudiante?

Es posible que su centro educativo ya ofrezca acceso a MATLAB, Simulink y otros productos complementarios mediante una infraestructura Campus-Wide License.

Obtenga MATLAB