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