Requirements Toolbox


Requirements Toolbox

Author, link, and validate requirements for designs and tests

Author and Organize Requirements

Define requirements using rich text, custom attributes, and keywords. Organize hierarchies of requirements to specify system-level or lower-level functionality.

Integrate Third-Party Requirements Tools

Import and view requirements from other sources, such as IBM® DOORS®, IBM DOORS Next, Microsoft® Word, or Microsoft Excel®. Use the Requirements Interchange Format (ReqIF™) to exchange requirements with tools supporting that format such as Siemens Polarion® ALM™ or Jama Connect™.

Trace Requirements to Designs, Code, and Tests

Create a digital thread that links requirements, model elements, MATLAB code, data dictionaries, test cases, and test harnesses. Trace to external requirements tools. Include links in code generation reports from Embedded Coder.

Model Formal Requirements

Specify formal requirements using logical expressions with the Requirements Table block (3:53) in Simulink. Use simulation to validate these formal requirements and perform analysis of correctness, consistency, and completeness. Bind formal requirements to design models for verifying compliance. Generate tests with Simulink Design Verifier linked to the corresponding requirements.

Work with Requirements and Design Together

Use the Requirements Perspective to view, author, and organize requirements directly in Simulink, System Composer, or Stateflow editors. Create links by using drag and drop without modifying the model, use badges to view where links in the model exist, and annotate diagrams with requirements.

Analyze Requirements Coverage

Identify gaps in implementation and testing, missing requirements, and design errors. Use the Traceability Matrix to review links between large sets of requirements, models, and tests; then, address gaps by adding links.

Identify Impacts of Changes

Understand the impact of changes to requirements or test cases in Simulink Test by reviewing highlighted linked elements. Create a Traceability Diagram to visualize and navigate to linked items.

Generate Requirements Reports

Create configurable reports that include links, change information, and implementation and verification status. Use the reports for design reviews or documentation.

Trace Requirements to MATLAB Code and Tests

Create, manage, and navigate traceability links between individual lines in your MATLAB code, requirements information in external documents and test cases in MATLAB Test. Highlight traceability in the MATLAB editor to identify gaps in implementation or testing.

“On previous projects, the requirements coverage analysis was performed manually and based on subjective evaluation. Simulink, Simulink Coverage, and Requirements Toolbox enabled us to automate this analysis and provided objective coverage metrics, which helped us shorten requirements review for certification by up to 30%.”

Massimiliano Campagnoli, Alenia Aermacchi

Get a Free Trial

30 days of exploration at your fingertips.

Ready to Buy?

Get pricing information and explore related products.

Are You a Student?

Your school may already provide access to MATLAB, Simulink, and add-on products through a campus-wide license.