システムの検証

Requirements & Systems Portal では、要件は1つ以上のシステムまたはサブシステムに関連付けられています。これらのシステムは、検証および妥当性確認（V&V）アクティビティを使用して検証されます。Block の要件は、単一または複数の 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 Blocks

   • Tags

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

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

   

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

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

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

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

• V&V Status – 要件の検証全体のステータスを示します。

• 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つあり（しかも verified であること）が確認できます。

   

次のステップ

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

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

• 要件に Compliance を追加する

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

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

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