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

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

手動検証フロー

このフローでは、ユーザーはRequirements Module内からRequirementに直接V&V Activityを追加し、Statusを手動で更新できます。

これを行うには、Requirements Moduleの「V&V Activities」列のセルをダブルクリックして、Activityを作成します。

ここでは、すでに追加されているアクティビティを確認できるほか、「Link Activity」ボタンをクリックして既存のActivityをこのRequirementにリンクすることもできます。

ここから、ドロップダウンから既存のActivityを選択し、必要に応じてBlockを選択できます。

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

ルール検証フロー

Rulesを使用すると、ブール式（例: 「設計質量はRequirementで定義された最大質量より小さいか？」）を通じて、システム設計のValisとRequirementのValisを比較できます。

このためには、両方にValisが設定されていることを確認してください（System Design ModuleとRequirements Module）。Ruleを設定するには、Requirementの「V&V Rules」列のセルをダブルクリックします。

すると、Rulesを定義できるウィンドウが開きます。

Valisを呼び出すには、ドル記号（$）を入力するだけで、選択および検索可能なValisのドロップダウンが表示されます。

この例では、実際のドローンスウォームの質量と、Requirementで定義された許容最大質量を比較しています。

この場合、6 kg（設計質量）が8 kg（Requirementの最大質量）より小さいため、RuleはVerifiedとなります。

これは、V&V Status列の全体的なVerification Statusにも表示されます。