Requirements Toolbox
Author, link, and validate requirements for designs and tests
Have questions? Contact Sales.
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).
Connect AI Agents to Requirements Toolbox
Bring domain-specific capabilities to your agentic AI workflow.
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.
Product Resources:
“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%.”
Requirements Toolbox FAQs
Requirements Toolbox 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.
Requirements Toolbox is for engineers and teams who develop systems, algorithms, and embedded software in MATLAB and Simulink and need to manage requirements as part of their design and verification workflow. It is ideal for teams practicing model‑based design who require traceability between requirements, models, code, and tests, and for organizations that collaborate with external requirements tools such as DOORS, Jama, or Polarion while keeping engineering work in MATLAB and Simulink.
Use the Requirements Perspective to view and manage requirements directly in Simulink, creating links by drag and drop without modifying the model. Badges show where links exist in the model, and you can annotate diagrams with requirements.
Yes, you can import and view requirements from IBM Rational DOORS, IBM Rational DOORS Next, Microsoft Word, Microsoft Excel, or use Requirements Interchange Format (ReqIF) to exchange requirements with tools like Siemens Polarion ALM or Jama Connect. You can also use the Polarion Connector for Simulink, which is developed and maintained by Siemens.
Requirements Toolbox fits into regulated workflows by supporting requirements traceability, impact analysis, and verification evidence that are commonly required by safety standards such as DO‑178C, ISO 26262, and related standards. It enables teams to link requirements to design models, MATLAB code, and tests, analyze requirements coverage, and assess the impact of changes across the development lifecycle. The toolbox also supports structured requirements authoring, exchange with external ALM tools, and generation of traceability and status reports used in reviews and audits.
The Requirements Table block lets you specify formal requirements using logical expressions in Simulink. You can validate these requirements formally and perform analysis of correctness, consistency, and completeness. You can use a Requirements Table within a test harness to define pass/fail criteria for tests.
The toolbox creates a digital thread linking requirements, model elements, MATLAB code, data dictionaries, test cases, and test harnesses. The Traceability Matrix and Traceability Diagram help identify gaps in implementation or testing and visualize linked items.
Use the Traceability Matrix to review links between requirements, models, and tests, identifying gaps in implementation and testing, missing requirements, and design errors. Coverage metrics show how much of each requirement has been implemented and verified.
Linked models, MATLAB code, and test cases are highlighted when upstream requirements change, making potential inconsistencies visible. You can use traceability diagrams to visualize affected items and understand upstream and downstream impacts before making updates.
Yes, you can create, manage, and navigate traceability links between individual lines in your MATLAB code, requirements information in external documents, and test cases in MATLAB Test.
Yes, you can create configurable reports that include links, change information, and implementation and verification status for design reviews or documentation. Generated code from Simulink designs includes code comments documenting where requirements are implemented.
Try Requirements Toolbox for free
Discover the possibilities today.
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.
