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