システムの検証

Requirements & Systems Portal では、要件は1つ以上のシステムまたはサブシステムに関連付けられています。これらのシステムは、検証および妥当性確認（V&V）アクティビティを使用して検証されます。ブロックの要件は、単一または複数の V&V アクティビティで検証できます。各アクティビティは1つまたは複数の要件にリンクでき、1つ以上のシステムを検証できます。

このチュートリアルのこのパートでは、Requirements & Systems Portal を使用して V&V アクティビティを実施する方法を説明し、次の内容を取り上げます。

• V&V アクティビティの作成方法。

• V&V アクティビティを要件にリンクする方法。

• アクティビティの実行方法。

• Requirements & Systems Portal における自動検証方法のデモ。

検証用ビューの作成と読み込み

Requirements & Systems Portal には、Identifier、Text、Parents、Children、Type、State、V&V Status、V&V Activities、V&V Blocks、Tags、Properties など、あらかじめ選択されたさまざまな属性が用意されています。ただし、小さい画面では横スクロールが多くなりすぎる場合があります。検証プロセスを効率化するために、必要な属性だけを含むカスタムビューを作成できます。では、検証用の新しいビューを作成して読み込んでみましょう。

1. Requirements Module（）に移動し、Fan_Spec仕様を開きます。

2. 任意の列ヘッダーにカーソルを合わせ、表示される アイコンをクリックしてから、 アイコンをクリックし、使用可能な列の一覧を表示します。

   

3. 一覧内のすべての列の選択を解除し、次の列のみを選択します。

   • Text

   • Parents

   • Children

   • V&V Activities

   • V&V Status

   • V&V Rules

   • Applicable Block

   • Tags

   右側からアクセスできる Columns ペインを使用して、属性を選択/選択解除することもできます。この方法を示しているのは、フィルターやテーブルサイズ変更オプションなど、列ヘッダーで利用できる追加オプションについても理解していただくためです。たとえば、 アイコンでは特定の列に対するフィルタリングオプションを利用できます。

4. テーブル内で右クリックし、コンテキストメニューから Save view コマンドを選択します。開いた Save current view ウィンドウで、Verification_View を View name として入力し、Private を選択してから をクリックします。

   

   選択したすべての列、列幅、および適用したフィルターは、専用のビューに保存されます。ビューを保存すると、テーブル内で右クリックし、Load View サブメニューから対応する項目を選択して読み込むことができます。

要件への Verification & Validation アクティビティの追加

Requirements & Systems Portal には、要件の検証および妥当性確認専用の3つの列があります（Compliance や Compliance Comment、あるいは検証アクティビティに関連するカスタム列などの追加列は除きます）。

• V&V Activities – 要件に関連付けられている V&V アクティビティを表示します。

• V&V Status – 関連付けられた V&V アクティビティのステータスに基づいて、要件全体の検証ステータスを示します。要件に関連付けられた V&V アクティビティがない場合は、ステータスを手動で設定できます。

• V&V Rules – 要件と System Design Module の間で自動 vali 比較を実行するためのルールを要件に割り当てることができます。

1. 左側の Module Navigation バーにある アイコンをクリックして、Verifications & Validations Module   に移動します。

2. ボタンをクリックします。開いた Create V&V Activity ウィンドウで、Name フィールドに Mass Inspection を入力し、Description フィールドに This activity measures the mass of the Valifan. を入力して、 をクリックします。

   

3. 次に、Requirements Module からこの新しいアクティビティを要件の1つにリンクします。Name 列のアクティビティ名をクリックし、ページ上部の Requirements Statuses コントロールをクリックします。

   

4. 右上の ボタンをクリックします。開いた Link Requirement ウィンドウで、Requirement ドロップダウンから R-Fan-001 を選択し、Block ドロップダウンから Fan を選択して、 をクリックします。

   

5. アクティビティの指示に従って質量検査を実施したと仮定し、ここで検証ステータスを verified に設定します。これを行うには、Status 列のセルをダブルクリックし、ドロップダウンから Verified を選択します。

   

6. Requirements Module（）に移動し、Fan_Spec 仕様を開きます。

7. テーブルでは、V&V Activities 列に割り当てられた V&V アクティビティと、V&V Status 列にある Verified 1/1 ステータスを確認できます。

   

これで、手動の検証アクティビティを正常に作成できました。次に、システム設計の vali を要件の vali と照合する、要件に対する自動検証の方法を見ていきましょう。

ルールを使用したシステムの自動検証

1. Fan_Spec 仕様で、R-Fan-001 要件の Text 列にある 300 g vali にカーソルを合わせ、ポップアップでその名前を確認します。この名前は、この vali を System Design Module の vali と比較するルールを作成するときに使用されます。

   

   要件内の vali は、ポップアップの アイコンをクリックして編集できます。名前、マージンなどのパラメーターを調整できます。

2. R-Fan-001 要件の V&V Rules 列のセルをダブルクリックします。V&V Rules ウィンドウが開き、そこで要件の Valifan mass 300 g と、System Design Module の Fan システムの mass vali を比較するルールを定義できます。vali を参照するには $ 記号を使用します。表示されるポップアップでは、名前を入力して vali を検索できます。ルールを次のように定義します。

   $Valifan.Mass<$R-Fan_001.maximum_valifan_mass

   Requirements & Systems Portal が、テキストボックスの下に実際に関連付けられた値を取得して表示する点に注目してください。

   

3. V&V Rules ウィンドウで ボタンをクリックし、その後ウィンドウを閉じます。テーブルでは、この要件に1つのルール（検証済み）が関連付けられていることが確認できます。

   

次のステップ

おめでとうございます。これで Requirements & Systems Portal の使い方がわかりました。

引き続き、デスクトップファンのプロジェクトを改善できます。以下はいくつかのアイデアです。

• 要件に Compliance を追加する

• 要件間にいくつかの親子関係を追加し、connections graph を確認して、要件上の色分けに注目してください。

• ファンモードに応じた結果の空気移動量を計算するシミュレーションを作成してみてはいかがでしょうか。

• ファンを持ち運び可能にするために solar panel ブロックを追加します。最大回転速度を solar panel の太陽角度に依存させることができます。