フロー4 マニュアルルールの検証フロー

次の 2 つのフローでは、ユーザーは要件モジュールから直接検証を設定できます。

手動検証フロー

このフローでは、要件モジュール内から要件に V&V アクティビティを直接追加し、手動でステータスを更新します。これを行うには、要件モジュールの V&V Activities列のセルをダブルクリックし、アクティビティへのリンクを作成します。

開くウィンドウには、すでに追加されているアクティビティが表示されます。 Verification & Validation Itemsウィンドウが開き、すでに追加されているアクティビティが表示されます。既存のアクティビティを要件にリンクするには、 ボタンをクリックします。開いたウィンドウから Link Activity開いたウィンドウから、既存のアクティビティと、オプションでブロックを選択できます。

この後、ステータスを直接手動で割り当てるか、ダイナミック リンクからアクティビティまたは実行にジャンプすることができます。

ルール検証フロー

ルールを使用すると、ブール式を使用してブロック値と要件値の比較を確立できます（「設計質量が最大要件質量より小さいか」など）。こ れに使用す る には、 （Blocks モジ ュ ール と Requirements モジ ュ ールの） 両側で値 を設定 し てい る こ と を確認 し ます。をダブルクリックします。 V&V Rules列のセルをダブルクリックします。これにより、ルールを定義できるウィンドウが開きます。

Valis を呼び出すには、ドル記号 ($)を入力すると、選択および検索できるバリスがドロップダウンで表示されます。以下の例では、ドローン電力システムの実際の質量が、要件で定義された最大許容質量と比較されます。

この場合、0.44kg（設計質量）が0.5kg（最大要件質量）を下回っているため、ルールが検証されます。

このことは、全体の検証ステータスの V&V Status欄に表示されます。