Requirements Table ブロックの階層の確立

R2022a 以降

Requirements Table ブロックで要件や仮定を定義する際、一部の要件または仮定を階層内で相互に関連させなければならないことがあります。たとえば、ある要件の前提条件を別の前提条件が有効である場合にのみチェックすることがあります。子の行を使用して行の階層を確立することができます。下位または上位の階層レベルに行を移動して行の階層を変更できます。要件および仮定を定義する方法については、Requirements Table ブロックを使用した形式的要件の作成および要件への仮定の追加を参照してください。

子の行の追加

要件と仮定は行にまとめられます。"親" と "子" の行を作成して、行を階層にまとめることができます。子の行を使用して評価の階層を判定します。たとえば、親要件の前提条件が有効であれば、ブロックは子要件の事後条件をチェックします。それ以外の場合、ブロックは子要件を無視します。

子要件行を作成するには、要件行のインデックスを選択し、[テーブル] タブの [行] セクションで [要件の追加] 、 [子の追加] を選択します。子仮定行を作成するには、仮定行のインデックスを選択し、[テーブル] タブの [行] セクションで [仮定の追加] 、 [子の追加] を選択します。

子の行のインデックス番号は、親のインデックスの後に子のインデックスを続けて表されます。各階層レベルに複数の子の行を含めることができ、階層レベルも複数含めることができます。同じ階層レベルで同じ親をもつ行 (親の行がない行も含む) を "兄弟" と呼びます。

行の階層の変更

上位または下位の階層レベルに行を移動する場合は、移動する行のインデックスをクリックします。次に、[テーブル] タブの [行] セクションで、[選択した行を親にする] ボタンまたは [選択した行を子にする] ボタンをクリックします。

子の行を削除するには、子の行のインデックスを右クリックし、[選択した行の削除] ボタンをクリックします。

モデル例での子の行の使用

この例では次を使用します。

モデルを開く

この例では、子要件をもつ Requirements Table ブロックを使用します。このモデルは、信号をテストし、モデルの動作が親要件と子要件を満たす場合に 2 つの値を出力します。

Requirements Table ブロックを開き、親要件と子要件を確認します。入力信号が 1 つ目の要件の前提条件を満たす場合、ブロックはアクションを実行し、子要件をテストします。この例では、子要件で出力データ z を制御しています。2 つ目の要件は、入力信号が 1 つ目の要件の前提条件を満たさない場合に実行されます。

シミュレーションを実行し、Scope ブロックを開いてブロックの出力を確認します。