安全コンセプト図

安全コンセプト図は、安全アーキテクチャ設計の概念を設計できる図です。

../../../_images/safety_concept_diagram.png

安全コンセプト図の図要素

../../../_images/safety_concept_dgm_toolbar.png
各アイコンの説明

種類

アイコン

説明

選択

select_icon

ダイアグラムエディタ上の基本操作を実行するモードです。
すべての図要素(要求、要求グループ、エレメント、インタラクション、システムバウンダリインタラクション、ノート等)を選択します。

要求

requirement_icon

要求を追加します。ツールが事前に定義している SG、FR、FSR、TSR、HWSR、SWSR、NFSR ステレオタイプをもつ、要求を作成できます。

要求グループ

requirement_group_icon

要求グループを追加します。ツールが事前に定義している SM、IF、IF/SM ステレオタイプをもつ、要求グループを作成できます。

エレメント

element_icon

エレメントを追加します。

インタラクション

interaction_icon

インタラクションを追加します。

システムバウンダリインタラクション

physical_interaction_icon

システムバウンダリインタラクションを追加します。

要求グループペアリング

req_group_pairing_icon

要求グループペアリングを追加します。

引き出し線

req_anchor_icon

引き出し線を追加します。

要求グループの表示・非表示の切替え

requirement_group_visible_icon

要求グループ、要求グループペアリング、引き出し線、それらに接続するノートアンカーの表示・非表示を切り替えます。

その他は 共通の図要素 をご覧ください。


デコンポジション

デコンポジションは、要求、要求グループ、要求グループペアリング、引き出し線を用いて表現します。

image

上記の様な設計における、「ポジション送信」要求が誤送信や信号の喪失による機能不全の可能性に対して、下図のように「ポジション検出、送信手段を2重化してON状態優先判定を行う」という、安全方策 SM-001(Safety Mechanism 001)を検討するとします。

image

守る、守られる要求のグループを、要求グループを用いて表現します。

"FR-100"要求を"Intended Function"という要求グループに引き出し線で紐付けて属させます。
また、今回の安全方策で追加した"FSR-001"要求と"FSR-002"要求を、"SM-001"という要求グループに引き出し線で紐付けて属させます。
image

デコンポジションは、2つの要求グループを要求グループペアリング線で紐付けることで 実施されます。

  1. "Intended Function","SM-001"要求グループ間に、要求グループペアリング線を作成します。デコンポジションを指定するダイアログが表示されます。「デコンポジション対象の要求」で選択された要求のASILがデコンポジション前のASILとして使用されます。

  2. 各要求グループに属する要求に付与したいデコンポジション後のASILを選択します。

    image
  3. 次に、それぞれの要求グループに属する要求が、他の要求を侵害しないことを要求化し、その要求と要求グループペアリングを、引き出し線で紐付けます。

  4. この一連の操作で、デコンポジションを表現できます。

    なお、デコンポジション後でも要求のASIL、名前の変更などの各図要素に対する編集作業が可能です。

image

要求

要求の作成

ツールバーの requirement_icon [要求]ボタン、安全コンセプト図上をダブルクリックして作成します。

ダブルクリックで作成される要求のステレオタイプはツールバーで現在選択されているステレオタイプが適用されます。

image
ツールバーの[要求]ボタンからは、ツールが事前定義する SG、FR、FSR、TSR、HWSR、SWSR、NFSRステレオタイプをもつ要求を作成できます。
現在選択している要求の種類がプルダウン右横に表示されます。
image

要求をインタラクションに挿入

新規の要求を作成する際、インタラクションの間に要求を挿入することが出来ます。
ここでは、2つの要求の間に作成されているインタラクションに、新たな要求を挿入する手順を説明します。

① ツールバーの requirement_icon [要求] を選択する

② インタラクションにマウスオーバーし、ハイライトされている状態のインタラクションをクリックする

このとき、インタラクションをクリックする位置の違いで、インタラクションと新規の要求の接続方法が変化します。

  • インタラクションの始端側をクリックすると、インタラクションの始端が、新たに挿入された要求に再接続されます。
    また挿入された要求を終端とする新規のインタラクションが作成されます。
    下図のように、既存のインタラクションの始端側が丸くハイライトされた状態が目安です。
    image
  • インタラクションの終端側をクリックすると、インタラクションの終端が、新たに挿入された要求に再接続されます。
    また挿入された要求を始端とする新規のインタラクションが作成されます。
    下図のように、既存のインタラクションの終端側が丸くハイライトされた状態が目安です。
    image

要求の編集

IDの編集

図上で、IDをダブルクリックして直接入力します。またはプロパティの「ベース」タブから編集します。

image

名前の編集

図上で、名前をダブルクリックして直接入力します。またはプロパティの「ベース」タブから編集します。

image

ASILの編集

図上で、ASILをダブルクリックして選択します。またはプロパティの「ベース」タブから編集します。

image

ステレオタイプの追加

要求のプロパティの[ステレオタイプ]タブから追加します。

image

付与ASILの一覧

図上で、要求のコンテキストメニューから要求に付与されたASILの一覧を表示できます。

現在要求に設定されているASILは背景色が青色で表示されます。

image
image

要求グループ

要求グループの作成

ツールバーの requirement_group_icon [要求グループ]ボタンから作成します。

image
ツールバーの[要求グループ]ボタンからは、ツールが事前定義する SM、IF、IF/SM ステレオタイプをもつ要求グループを作成できます。
現在選択している要求グループの種類がプルダウン右横に表示されます。
image

要求グループの編集

IDの編集

名前の編集


エレメント

エレメントの作成

ツールバーの element_icon [エレメント]ボタンから作成します。または、構造ツリー上のエレメントをドラッグして、図上の任意の場所にドロップします。

../../../_images/element.png

エレメントは、安全コンセプト図上の既存のエレメント内に作成することで、エレメントの子要素として作成できます。

../../../_images/element_nest.png

エレメントの編集

IDの編集

名前の編集

ASILの確認

エレメントに含まれる要求から付与されたASILの一覧を、プロパティの「ベース」タブ - 「ASIL」から確認できます。


インタラクション

インタラクションの作成

ツールバーの interaction_icon [インタラクション]を選択し、インタラクションの出力元、出力先となる図上の2つの要求を選択します。

../../../_images/interaction.png

インタラクションのハイライト

要求図要素を図上で選択すると、その要求に接続したインタラクションはハイライトされます。

../../../_images/interaction_highlight.png

インタラクションの編集

IDの編集

名前の編集


システムバウンダリインタラクション

システムバウンダリインタラクションの作成

ツールバーの physical_interaction_icon [システムバウンダリインタラクション]を選択し、作成します。

出力方向のシステムバウンダリインタラクションの場合は、システムバウンダリインタラクションの出力先となる要求から、水平・垂直な位置の図上の場所を選択します。

入力方向のシステムバウンダリインタラクションを作成する場合は、入力先となる要求から水平・垂直な位置の図上の場所を選択し、次に入力先となる要求を選択します。

システムバウンダリインタラクション(出力方向)

../../../_images/pi.png

出力方向のシステムバウンダリインタラクションの作成方法

../../../_images/pi_output.png
../../../_images/pi_output_vertical.png

入力方向のシステムバウンダリインタラクションの作成方法

../../../_images/pi_input.png
../../../_images/pi_input_vertical.png

システムバウンダリインタラクションの編集

IDの編集

名前の編集


要求グループペアリング

要求グループペアリングの作成

ツールバーの req_group_pairing_icon [要求グループペアリング]を選択し、ペアリングさせたい2つの要求グループを選択します。

image

要求グループペアリングを作成するには、要求グループにASIL A以上をもつ要求が設定されている必要があります。

詳細は デコンポジション を参照下さい。

以下のダイアログが表示され、デコンポジションを実行することができます。

image

要求グループペアリングの編集

IDの編集

名前の編集


引き出し線

引き出し線の作成

ツールバーの req_anchor_icon [引き出し線]ボタンを選択し、引き出し線で紐付けたい要求と、要求グループ、もしくは要求グループペアリングを選択します。

../../../_images/requirement_anchor.png

要求と要求グループ間を引き出し線で紐付ける場合に、要求を複数選択していると、選択しているすべての要求に対して要求グループ間に引き出し線を作成できます。

image

引き出し線作成後

image

引き出し線の編集

IDの編集

名前の編集