システムの検証

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

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

• V&V アクティビティを作成する方法。

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

• アクティビティを実行する方法。

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

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

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

1. Fan_Spec仕様を開きます（プロジェクトツリーの Requirements エントリの下）。

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

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

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

• V&V Rules – 要件と Blocks Module の vali 比較に基づく自動検証です。

1. プロジェクトツリーで Verifications & Validations エントリを展開し、Activities を選択します。

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

   

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

   

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

   

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

   

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

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

1. Fan_Spec 仕様を開きます（プロジェクトツリーの Requirements エントリの下）。

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

   

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

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

   $Valifan.Mass<$R-Fan_001.maximum_fan_mass

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

   

4. V&V Rules ウィンドウで ボタンをクリックし、その後ウィンドウを閉じます。テーブルでは、この要件に関連付けられたルールが1つ（検証済み）あり、V&V ステータスの合計が 2/2 になっていることが確認できます（質量検査アクティビティも以前に検証済みであるため）。

   

次のステップ

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

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

• 要件に Compliance を追加する。

• 要件間にいくつかの親子関係を追加し、connections graph を確認して、要件上の色分けに注目する。 ファンを持ち運び可能にするためにソーラーパネル block を追加する。最大回転速度をソーラーパネルの太陽角度に依存させることもできます。