フロー4：手動およびルール検証フロー

以下の2つのフローにより、ユーザーは Requirements Module から直接検証を設定できます。

手動検証フロー

このフローでは、Requirements Module 内から Requirement に V&V Activity を直接追加し、Status を手動で更新できます。これを行うには、Requirements Module の V&V Activities 列のセルをダブルクリックし、Activity へのリンクを作成します。

開いた Verification & Validation Items ウィンドウには、すでに追加されているアクティビティが表示されます。 ボタンをクリックすると、既存の Activities を Requirement にリンクできます。続いて開く Link Activity ウィンドウで、既存の activity と、必要に応じて Block を選択できます。

その後、Status を直接手動で割り当てるか、動的リンクを通じて Activity または Run に移動できます。

V&V activities が割り当てられた requirement の V&V Status フィールドは、V&V activities の status に基づいて自動的に更新されます。requirement の V&V Status フィールドの表示は次のようになります。

• Not Verified – 割り当てられた activities のうち、Verified status のものが1つもない場合。

• Partially Verified – 割り当てられた activities の一部が Verified status だが、すべてではない場合。

• Verified – 割り当てられた activities のすべてが Verified status の場合。

また、セルには X/Y の形式で数値が表示されます。ここで、X は Verified status の割り当て済み activities の数、Y は割り当て済み activities の総数です。

ルール検証フロー

Rules を使用すると、ブール式によって block valis と requirement valis を比較できます（例: 「Design Mass は Requirement Mass の最大値より小さいか？」）。このためには、両側（Blocks Module と Requirements Module）で Valis が設定されていることを確認してください。Rule を設定するには、Requirement の V&V Rules 列のセルをダブルクリックします。すると、Rules を定義できるウィンドウが開きます。

Valis を呼び出すには、ドル記号 ($) を入力します。すると、選択および検索可能な Valis のドロップダウンが開きます。以下の例では、ドローン電源システムの実際の質量が、Requirement で定義された許容最大質量と比較されています。 この場合、0.44 kg（Design Mass）が 0.5 kg（Maximum Requirement Mass）より小さいため、Rule は Verified です。