Requirements Toolbox (旧称: Simulink Requirements™) を使用すると、MATLAB または Simulink 内で、要件の作成、リンク、妥当性確認を行うことができます。カスタム属性を使用したリッチテキストで要件を作成したり、要件管理ツールから要件をインポートしたりできます。

MATLAB コード、System Composer または Simulink モデル、テストに要件をリンクできます。このツールボックスは、トレーサビリティを解析し、実装やテストのギャップを特定します。設計の強調表示とトレーサビリティ マトリクスにより、複数の成果物間でリンクが存在する場所をまとめて表示し、ギャップへの対処方法を提案します。要件が変更されると、リンクされている成果物が強調表示されるため、トレーサビリティ ダイアグラムを使用して影響を受ける上流と下流の成果物を特定できます。Simulink 設計から生成されたコードには、要件が実装された場所を示すコードコメントが含まれており、レビューに利用できます。

要件テーブルを使用して、要件を形式化し、整合性、完全性、正確性を解析できます。また、要件パースペクティブを使用すると、設計と要件を同時に表示し、管理できます。Simulink で使用する場合は、ドラッグ アンド ドロップで簡単にブロックへのリンクを作成できます。

業界標準には、IEC Certification Kit (for ISO 26262 and IEC 61508) および DO Qualification Kit (for DO-178) により対応しています。