Requirements Toolbox
Cree, enlace y valide requisitos para diseños y pruebas
¿Tiene preguntas? Comuníquese con ventas.
¿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).
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.
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™.
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.
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.
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.
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.
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.
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.
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.
“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
30 días de exploración a su alcance.
Obtenga información sobre precios y explore productos relacionados.
Es posible que su centro educativo ya ofrezca acceso a MATLAB, Simulink y otros productos complementarios mediante una infraestructura Campus-Wide License.