Requirements Toolbox
Cree, enlace y valide requisitos para diseños y pruebas
¿Tiene preguntas? Comuníquese con ventas.
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).
Conecte agentes de IA con Requirements Toolbox
Incorpore funcionalidades específicas del dominio a su flujo de IA agente.
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.
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™.
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.
Modele requisitos formales
Especifique requisitos formales utilizando expresiones lógicas con el bloque Requirements Table (3:53) en Simulink. Utilice simulación para validar los requisitos formales y realizar un análisis de exactitud, coherencia, constancia e integridad. Enlace requisitos formales con modelos de diseño para verificar la conformidad. Genere pruebas con Simulink Design Verifier enlazadas con los requisitos correspondientes.
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.
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.
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.
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.
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, información de requisitos en documentos externos y casos de prueba con MATLAB Test. Destaque la trazabilidad en el editor de MATLAB e identifique brechas en la implementación o las pruebas.
Recursos del producto:
“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%”.
Preguntas frecuentes sobre Requirements Toolbox
Requirements Toolbox le permite redactar, vincular y validar requisitos dentro de MATLAB o Simulink. Puede crear requisitos usando texto enriquecido con atributos personalizados o importarlos desde herramientas de gestión de requisitos.
Requirements Toolbox está dirigido a ingenieros y equipos que desarrollan sistemas, algoritmos y software embebido en MATLAB y Simulink y que necesitan gestionar los requisitos como parte de su flujo de trabajo de diseño y verificación. Es ideal para equipos que practican el diseño basado en modelos y que requieren trazabilidad entre requisitos, modelos, código y pruebas, y para organizaciones que colaboran con herramientas externas de requisitos como DOORS, Jama o Polarion mientras mantienen el trabajo de ingeniería en MATLAB y Simulink.
Use la Requirements Perspective para ver y gestionar requisitos directamente en Simulink, creando enlaces mediante arrastrar y soltar sin modificar el modelo. Los badges muestran dónde existen los enlaces en el modelo, y puede anotar los diagramas con requisitos.
Sí, puede importar y ver requisitos desde IBM Rational DOORS, IBM Rational DOORS Next, Microsoft Word, Microsoft Excel, o usar Requirements Interchange Format (ReqIF) para intercambiar requisitos con herramientas como Siemens Polarion ALM o Jama Connect. También puede usar el Polarion Connector for Simulink, que es desarrollado y mantenido por Siemens.
Requirements Toolbox se integra en flujos de trabajo regulados al admitir la trazabilidad de requisitos, el análisis de impacto y las evidencias de verificación que suelen exigir las normas de seguridad como DO-178C, ISO 26262 y normas relacionadas. Permite a los equipos vincular los requisitos con modelos de diseño, código MATLAB y pruebas, analizar la cobertura de requisitos y evaluar el impacto de los cambios a lo largo del ciclo de desarrollo. El toolbox también admite la redacción estructurada de requisitos, el intercambio con herramientas ALM externas y la generación de informes de trazabilidad y estado utilizados en revisiones y auditorías.
El bloque Requirements Table le permite especificar requisitos formales mediante expresiones lógicas en Simulink. Puede validar formalmente estos requisitos y realizar análisis de corrección, consistencia y completitud. Puede usar un Requirements Table dentro de un test harness para definir criterios de aprobado/fracaso para las pruebas.
El toolbox crea un hilo digital de trazabilidad que vincula requisitos, elementos del modelo, código MATLAB, diccionarios de datos, casos de prueba y test harnesses. La Traceability Matrix y el Diagrama de trazabilidad ayudan a identificar lagunas en la implementación o las pruebas y a visualizar los elementos vinculados.
Utilice la Traceability Matrix para revisar los enlaces entre requisitos, modelos y pruebas, identificando lagunas en la implementación y las pruebas, requisitos faltantes y errores de diseño. Las métricas de cobertura muestran cuánto de cada requisito se ha implementado y verificado.
Los modelos vinculados, el código MATLAB y los casos de prueba se resaltan cuando cambian los requisitos ascendentes, lo que hace visibles las posibles inconsistencias. Puede usar diagramas de trazabilidad para visualizar los elementos afectados y comprender los impactos aguas arriba y aguas abajo antes de realizar actualizaciones.
Sí, puede crear, gestionar y navegar por enlaces de trazabilidad entre líneas individuales en su código MATLAB, información de requisitos en documentos externos y casos de prueba en MATLAB Test.
Sí, puede crear informes configurables que incluyan enlaces, información sobre cambios y el estado de implementación y verificación para revisiones de diseño o documentación. El código generado a partir de diseños de Simulink incluye comentarios en el código que documentan dónde se implementan los requisitos.
Prueba gratuita de Requirements Toolbox
Descubra nuestros productos.
¿Tiene interés en comprar?
Obtenga información sobre precios y explore productos relacionados.
¿Es estudiante?
Es posible que su centro educativo ya ofrezca acceso a MATLAB, Simulink y otros productos complementarios mediante una infraestructura Campus-Wide License.
