要件の定義

要件の作成、インポート、エクスポート、および形式化

MATLAB^® または Simulink^® で、要件エディターまたは要件パースペクティブを使用して要件を作成します。テキスト、イメージ、およびキーワードを追加して要件を記述します。子要件を追加して下位レベルの機能を指定します。

要件ファイルをインポートおよびエクスポートすることで、Microsoft^® Word、Microsoft Excel^®、IBM^® Rational^® DOORS^®、IBM DOORS Next などのサードパーティ製要件管理ツールと統合します。

Requirements Table^® ブロックを使用して実行時に評価できるロジックを追加することで、Simulink モデル内の要件を形式化します。

よく参照されるトピック

注目の例

コマンドライン API を使用して要件エディターで Simulink モデルをドキュメント化

要件セットのモデル構造体をキャプチャし、スクリプトを使用して要件エントリをリンクすることで、モデルアーキテクチャをドキュメント化。

ライブスクリプトを開く

Requirements Toolbox API を使用した要件のカスタム属性の管理

Requirements Toolbox API による要件のカスタム属性の管理。

ライブスクリプトを開く

電気自動車充電器のロック機構の形式的要件についての解析

Requirements Table ブロックと Simulink Design Verifier™ を使用して、電気自動車充電ステーションのロック機構の形式的要件を作成、解析、更新する。

ライブスクリプトを開く

Microsoft Word ドキュメントからの要件のインポートおよび編集

この例では、Microsoft® Word の要件ドキュメントから要件をインポートおよび更新する方法を説明します。要件をインポートした後に、"要件エディター" または Word ドキュメントのいずれかで要件を変更できます。この機能は、Microsoft Windows® プラットフォーム上でのみ使用可能です。

ライブスクリプトを開く