bat365 Homepage

Requirements Toolbox

Author, link, and validate requirements for designs and tests

Requirements Toolbox™ (formerly Simulink Requirements™) lets you author, link, and validate requirements within MATLAB^® or Simulink^®. You can create requirements using rich text with custom attributes or import them from requirements management tools.

You can link requirements to MATLAB code, System Composer™ or Simulink models, and tests. The toolbox analyzes the traceability to identify gaps in implementation or testing. The design highlighting and traceability matrix summarize where links exist across multiple artifacts and guide you to address any gaps. When requirements change, linked artifacts are highlighted, and you can determine the upstream and downstream artifacts affected using a traceability diagram. Generated code from Simulink designs includes code comments that document where requirements are implemented to assist with reviews.

You can formalize requirements and analyze them for consistency, completeness, and correctness using the Requirements Table. The Requirements Perspective enables you to view and manage requirements together with design. When used with Simulink, you can create links to blocks with a simple drag and drop.

Support for industry standards is available through IEC Certification Kit (for ISO 26262 and IEC 61508) and DO Qualification Kit (for DO-178).

What Is Requirements Toolbox?

The Requirements Editor app showing a spreadsheet summarizing requirements and detailed attributes in the Property Inspector window.

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.

Systems Engineering – Design and Analyze System and Software Architectures (28:16)

Documentation | Examples

A workflow diagram showing requirements in external tools imported into Requirements Toolbox; links between requirements and MATLAB code, Simulink designs, and tests; and traceability to the external tools.

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™.

Documentation | Examples

Traceability matrix shows requirements on left and test cases from Simulink Test on top. One cell is selected with a pop up showing the requirement and test case with an option to create a link.

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™.

Manage the Requirements-Based Testing Process with Model Testing Dashboard (5:13)

Documentation | Examples

The Requirements Table block within a model, showing a table with requirement preconditions, postconditions, and actions with expressions.

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.

How to Model Complete and Consistent Requirements (9:03)

Documentation | Examples

The Requirements Perspective showing requirements allocated to an automotive cruise control model, their description visible on the model, and their details and links in the Property Inspector window.

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.

Work with Requirements and Design Using Requirements Perspective (2:36)

Documentation | Examples

A table of requirements for an automotive cruise control, with colored bars showing how much of each requirement has been implemented and verified, as well as a tooltip showing coverage metrics for a specific requirement.

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.

How to Analyze Requirements for Architectural Elements with Simulink Requirements (1:05)

Documentation | Examples

The links view in the Requirements Editor highlighting requirement and test case changes.

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.

Documentation | Examples

A Simulink Web view of an automotive cruise control model showing linked requirements information.

Generate Requirements Reports

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

Documentation | Examples

The Requirements Editor with arrows from requirements to two MATLAB editor windows, one of which is a MATLAB unit test.

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.

Documentation | Examples

Product Resources:

Documentation Code examples Videos Product requirements Release notes

Alenia Aermacchi Develops Autopilot Software for DO-178B Level A Certification

“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

View more customer stories