システムの検証

要件＆システムポータルでは、要件は1つまたは複数のシステム、またはサブシステムに接続される。こ れ ら のシ ス テ ムは、 検証 と 検証 （V&V） のア ク テ ィ ビ テ ィ を用いて検証 さ れます。1つのブロックの要件は、1つまたは複数のV&Vアクティビティで検証できます。各アクティビティは、1 つまたは複数の要件にリンクすることができ、1 つまたは複数のシステムを検証することができます。

このチュートリアルでは、Requirements & Systems Portal を使用して V&V アクティビティを実施する方法について説明し、以下について説明します：

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

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

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

• Requirements & Systems Portalの自動検証方法をデモンストレーションする。

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

要件システム ポータルでは、識別子、テキスト、親、子、タイプ、状態、V&V ステータス、V&V アクティビティ、V&V ブロック、タグ、プロパティなど、さまざまな属性を事前に選択できます。ただし、この場合、小さな画面では横スクロールが過剰になる可能性があります。検証プロセスを合理化するために、必要な属性のみを含むカスタム ビューを生成できます。検証用に新しいビューを作成し、それをロードしてみましょう。

1. 要件モジュール () に移動し、仕様書を開きます。 Fan_Specを開きます。

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

   

3. リスト内のすべての列の選択を解除し、次の列のみを選択します：

   • Text

   • Applicable Blocks

   • Parents

   • Children

   • V&V Status

   • V&V Activities

   • V&V Rules

   • Tags

   属性を選択/選択解除することもできます。 Columnsペインを使って属性を選択/選択解除することもできる。このアプローチは、フィルターやテーブルのサイズオプションのような、列ヘッダーにある追加オプションを意識させるために表示されます。例えば、 アイコンは、特定の列のフィルタリングオプションを提供します。

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

   

   選択されたすべての列、列幅、適用されたフィルターは、専用のビューに保存される。ビューが保存されると、テーブル内で右クリックし、サブメニューの対応するエントリを選択することで、そのビューをロードすることができます。 Load Viewサブメニューの対応するエントリを選択することでロードできます。

要件に検証アクティビティを追加する

要件とシステム ポータルには、要件の検証および妥当性確認に特化した 3 つの列が用意されています。 Complianceや Compliance Commentまたは、検証アクティビティに関連するカスタム列もあります）：

• V&V Status- は、要件の検証の全体的なステータスを示します。

• V&V Activities- 要件に関連するV&V アクティビティを表示します。

• V&V Rules- 要件 と シ ス テ ム設計モジ ュ ールの比較に基づ く 自動検証。

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

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

   

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

   

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

   

5. アクティビティの指示に従って大量検査を実施し、検証ステータスを検証済みに設定したいとします。をダブルクリックします。 Status列のセルをダブルクリックし、ドロップダウンから Verifiedを選択します。

   

これで、手動検証アクティビティが作成できました。次に、シ ス テ ム設計の値 と 要件の値を照合す る 要件の自動検証を行 う 方法を説明 し ます。

ルールを使用してシステムを自動的に検証する

1. 要件モジュール () に移動し、仕様を開きます。 Fan_Spec仕様を開きます。

2. カーソルを 300 gにカーソルを合わせます。 Text列の R-Fan-001要件の列にカーソルを合わせ、ポップアップでその名前を確認します。この名前は、この値がシステム設計モジュールの値と比較されるルールを作成するときに使用されます。

   

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

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

   $Fan.Mass$R-Fan_001.maximum_mass_of_the_fan

   要件とシステム ポータルが、テキスト ボックスの下にある実際の関連値をフェッチすることに注意してください。

   

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

   

次のステップは？

これでRequirements & Systems Portalの使い方がわかりました！

デスクトップファン・プロジェクトの改善を続けることができます。いくつかのアイデアを紹介します：

• 要件にコンプライアンスを追加する

• 要件間にいくつかの親子関係を追加し、接続グラフを確認し、要件のカラー コードに注目します。

• シミュレーションを作成して、ファンのモードによって生じる空気変位を計算するのはどうでしょうか。

• ソーラー パネル ブロックを追加して、ファンをポータブルにします。最大回転速度をソーラーパネルの太陽角に依存させることができます。