(57)【要約】      （修正有）【課題】フォールトツリーにおいて、特定のカットセットについて、頂上事象の発生経路を視覚的に把握可能な、わかりやすい表示をする表示技術を提供する。【解決手段】フォールトツリーのグラフィック表現を作図する作図プログラムによって、コンピュータ１を、フォールトツリーにおいて、選択された選択カットセットに属する基本事象を示す全ての記号各々を始点とし、頂上事象を示す記号を終点とした経路群を取得する経路群取得手段２２と、経路群取得手段２２によって取得された経路群のうち、全部または一部の経路をフォールトツリーのグラフィック表現の作図で強調される強調経路として設定する強調経路設定手段２３と、強調経路設定手段２３によって設定された強調経路を強調して、フォールトツリーのグラフィック表現を作図する作図手段２４と、として機能させた。【選択図】図２
2014059597.tif 000002
【特許請求の範囲】
【請求項１】
基本事象および頂上事象を含む事象間の因果関係を表すフォールトツリーのグラフィック表現を作図する作図プログラムであって、
コンピュータを、
前記頂上事象に係るカットセットのうちから、１のカットセットを選択カットセットとして選択する選択手段と、
前記フォールトツリーにおいて、前記選択手段によって選択された前記選択カットセットに属する基本事象を示す全ての記号各々を始点とし、前記頂上事象を示す記号を終点とした経路群を取得する経路群取得手段と、
前記経路群取得手段によって取得された前記経路群のうち、全部または一部の経路を前記フォールトツリーのグラフィック表現の作図で強調される強調経路として設定する強調経路設定手段と、
前記強調経路設定手段によって設定された前記強調経路を他の経路より強調して、前記フォールトツリーのグラフィック表現を作図する作図手段と、
として機能させる、作図プログラム。
【請求項２】
前記強調経路設定手段は、前記経路群取得手段によって取得された前記経路群の全部の経路を強調経路として設定する、
請求項１に記載の作図プログラム。
【請求項３】
前記因果関係は、ＡＮＤゲートによる事象間の関係を含み、
前記選択手段は、１のミニマルカットセットを選択カットセットとして選択し、
前記強調経路設定手段は、前記経路取得手段によって取得された前記経路群のうち、ＡＮＤゲートの記号が1以上現れ、かつ現れるいずれかのＡＮＤゲートの入力事象の記号の
いずれかが前記経路群のいずれにも現れない経路を除外した残りの経路を、強調経路として設定する、
請求項１に記載の作図プログラム。
【請求項４】
前記作図手段は、前記強調経路に現れない記号と前記強調経路に現れる記号とを異なる色を用いて作図し、前記強調経路に現れない記号間の連結線と前記強調経路に現れる記号間の連結線とを異なる色を用いて作図することで、前記強調経路を強調する、
請求項１から３までの何れか１項に記載の作図プログラム。
【請求項５】
基本事象および頂上事象を含む事象間の因果関係を表すフォールトツリーのグラフィック表現を作図する方法であって、
コンピュータによって、
前記頂上事象に係るカットセットのうちから、１のカットセットを選択カットセットとして選択する選択ステップと、
前記フォールトツリーにおいて、前記選択ステップにおいて選択された前記選択カットセットに属する基本事象を示す全ての記号各々を始点とし、前記頂上事象を示す記号を終点とした経路群を取得する経路群取得ステップと、
前記経路群取得ステップにおいて取得された前記経路群のうち、全部または一部の経路を前記フォールトツリーのグラフィック表現の作図で強調される強調経路として設定する強調経路設定ステップと、
前記強調経路設定ステップにおいて設定された前記強調経路を強調して、前記フォールトツリーのグラフィック表現を作図する作図ステップと、
が実行される、作図方法。
【請求項６】
基本事象および頂上事象を含む事象間の因果関係を表すフォールトツリーのグラフィッ
ク表現を作図する作図装置であって、
前記頂上事象に係るカットセットのうちから、１のカットセットを選択カットセットとして選択する選択手段と、
前記フォールトツリーにおいて、前記選択手段によって選択された前記選択カットセットに属する基本事象を示す全ての記号各々を始点とし、前記頂上事象を示す記号を終点とした経路群を取得する経路群取得手段と、
前記経路群取得手段によって取得された前記経路群のうち、全部または一部の経路を前記フォールトツリーのグラフィック表現の作図で強調される強調経路として設定する強調経路設定手段と、
前記強調経路設定手段によって設定された前記強調経路を強調して、前記フォールトツリーのグラフィック表現を作図する作図手段と、
を備える作図装置。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、フォールトツリーのグラフィック表現を作図する作図プログラム、作図方法、および作図装置に関する。
【背景技術】
【０００２】
従来、プロセス中の設備機器名の入力手段、設備機器毎にガイドワードに従って機能不全モードを設定する手段、発生事象と運転操作との応答関係を表現するように、対話形式で「事象−操作連鎖単位」を入力する手段、および、各機能不全モードを起点に、「事象−操作連鎖単位」の集積に基づき、機能不全モードと発生事象と運転操作との全体的な因果連鎖関係を表現する危険性シナリオを生成する機能、を含むプロセス安全性評価手順作成装置が提案されている(特許文献１を参照)。また従来、プロセスリスクアセスメント支援装置であって、ハザード一覧作成部は、ＨＡＺＯＰ解析結果データを記録したＨＡＺＯＰワークシートからハザード発生シナリオに関する情報を抽出してハザード一覧を作成し、ＦＴＡ実行部は、そのハザード一覧に登録された対象となるハザードをトップ事象にしてフォールトツリーを展開してリスクランクを算定し、そのリスクランクが許容できないと判定された場合には、許容できるリスクランクに到達するまで、リスク低減対策模擬部が対話形式により防御手段を追加・変更してリスクを再算定するプロセスリスクアセスメント支援装置が提案されている(特許文献２を参照)。
【先行技術文献】
【特許文献】
【０００３】
【特許文献１】特開平９−１６０６３５号公報
【特許文献２】特開２０１２−９８８２０号公報
【発明の概要】
【発明が解決しようとする課題】
【０００４】
例えば、化学プロセスその他の安全性が求められるプロセスの構築や運用において、発生することが望ましくない事象の解析を行い、その事象の原因系を求めるための手法として、ＦＴＡ（Ｆａｕｌｔ  Ｔｒｅｅ  Ａｎａｌｙｓｉｓ）という分析が用いられる。ＦＴＡでは、発生が望ましくない事象である頂上事象を、その原因となる事象に分解し、これ以上分解されないような基本的な事象である基本事象までの関係が求められ、この関係を表す、事象記号および論理記号を用いたフォールトツリーが作成される。カットセットとは、その集合に属する全ての基本事象が発生したときに頂上事象が発生する基本事象の集合である。
【０００５】
しかし、カットセットは基本事象の集合で表現されるため、カットセットからは、基本事象から頂上事象に至る発生経路が把握できないという問題があった。特に、フォールトツリーが複雑なものである場合、この問題は顕著であった。
【０００６】
本発明は、上記の問題に鑑み、フォールトツリーにおいて、特定のカットセットについて、頂上事象の発生経路を視覚的に把握可能な、わかりやすい表示をする表示技術を提供することを課題とする。
【課題を解決するための手段】
【０００７】
本発明では、上記課題を解決するために、以下の手段を採用した。即ち、本発明は、基本事象および頂上事象を含む事象間の因果関係を表すフォールトツリーのグラフィック表現を作図する作図プログラムであって、コンピュータを、前記頂上事象に係るカットセッ
トのうちから、１のカットセットを選択カットセットとして選択する選択手段と、前記フォールトツリーにおいて、前記選択手段によって選択された前記選択カットセットに属する基本事象を示す全ての記号各々を始点とし、前記頂上事象を示す記号を終点とした経路群を取得する経路群取得手段と、前記経路群取得手段によって取得された前記経路群のうち、全部または一部の経路を前記フォールトツリーのグラフィック表現の作図で強調される強調経路として設定する強調経路設定手段と、前記強調経路設定手段によって設定された前記強調経路を他の経路より強調して、前記フォールトツリーのグラフィック表現を作図する作図手段と、として機能させる、作図プログラムである。
【０００８】
ここで、フォールトツリーのグラフィック表現とは、因果関係を、論理記号（ＡＮＤゲート、ＯＲゲート等）を用いて論理的に連結し、ツリー状に表現することであり、その表記法に従って描いたものをいう。フォールトツリーの表記法は、記号の形状や記号間の結線の描き方等について、必ずしも一意ではないが、どの表記法に従って描いたものも、本発明のフォールトツリーのグラフィック表現に含まれる。また、経路群取得手段が取得する経路群は、１以上の経路を要素とする経路の集合を意味する。
【０００９】
フォールトツリーには、同一（単一）の基本事象を示す記号が２以上現れることがある。これらの記号が示す事象は同時発生的な要素であるため、共通原因故障（Ｃｏｍｍｏｎ
Ｃａｕｓｅ  Ｆａｉｌｕｒｅ）と呼ばれる。ここで、経路群取得手段は、フォールトツリーに同一の基本事象を示す記号が２以上現れる場合に、その基本事象が選択カットセットに含まれるときは、同一の基本事象が示す記号各々を始点とした経路群を取得する。
【００１０】
本発明によれば、フォールトツリーにおいて、特定のカットセットについて、基本事象から頂上事象までに至る経路が強調して作図されるため、基本事象から頂上事象までに至る事象間の因果関係を視覚的に把握可能な、カットセットのわかりやすい表示を得ることができる。この表現は、頂上事象の発生に対する未然防止策の検討・立案等に役立てることもできる。
【００１１】
また、本発明に係る作図プログラムにおいて、前記強調経路設定手段は、前記経路群取得手段によって取得された前記経路群のうち、全部の経路を強調経路として設定してもよい。
【００１２】
また、本発明に係る作図プログラムにおいて、前記因果関係は、ＡＮＤゲートによる事象間の関係を含み、前記選択手段は、１のミニマルカットセットを選択カットセットとして選択し、前記強調経路設定手段は、前記経路取得手段によって取得された前記経路群のうち、ＡＮＤゲートの記号が1以上現れ、かつ現れるいずれかのＡＮＤゲートの入力事象
の記号のいずれかが前記経路群のいずれにも現れない経路を除外した残りの経路を、強調経路として設定してもよい。
【００１３】
ここで、ミニマルカットセットとは、頂上事象が発生するために必要十分な基本事象を要素としたカットセットをいう。また、ＡＮＤゲートは、全ての入力事象が発生したとき出力事象が発生する事象間の関係を表すものである。なお、本発明では、経路群のうち、ＡＮＤゲートの記号が現れない経路は、強調経路として設定される。
【００１４】
本発明によれば、選択カットセットに属する基本事象の記号から頂上事象の記号までに至る経路群のうち、選択カットセットに属する基本事象が全て発生しても、出力事象が発生し得ないＡＮＤゲート記号を含む経路を除外した経路が、強調されて作図されるので、ミニマルカットセットに共通原因故障の基本事象が属している場合にも、基本事象から頂上事象までに至る、事象間の実質的な因果関係を視覚的に把握可能な、ミニマルカットセットのわかりやすい表示を得ることができる。また、この表示では、フォールトツリー上
にあるミニマルカットセットに属する基本事象の記号のどの組み合わせが頂上事象の発生に影響を与えているかを視覚的（直感的）に理解することができる。
【００１５】
また、本発明に係る作図プログラムにおいて、前記作図手段は、前記強調経路に現れない記号と前記強調経路に現れる記号とを異なる色を用いて作図し、前記強調経路に現れない記号間の連結線と前記強調経路に現れる記号間の連結線とを異なる色を用いて作図することで、前記強調経路を強調してもよい。
【００１６】
ここで、記号とは、事象記号、論理記号の両者を含む。また、本発明は、記号の作図に用いられる色と、記号間の連結線の作図に用いられる色とは、異なる色であることも許容する。
【００１７】
また、本発明において、前記コンピュータは、グラフィックを表示する表示部を備え、本発明に係る作図プログラムにおいて、前記作図手段によって作図された前記グラフィック表現を前記表示部に表示する作図表示手段を更に備えてもよい。
【００１８】
また、本発明において、前記コンピュータは、ユーザの操作を受け付ける操作部をさらに備え、本発明に係る作図プログラムにおいて、前記選択手段は、前記フォールトツリーのミニマルカットセットを割出し、該ミニマルカットセットの一覧を前記表示部に表示し、前記操作部からユーザの操作を取得し、取得した前記ユーザの操作に基づいて、１のミニマルカットセットを選択カットセットとして選択してもよい。
【００１９】
また、本発明は、以上のようなプログラムをコンピュータその他の装置、機械等が読み取り可能な記録媒体に記録したものでもよい。ここで、コンピュータ等が読み取り可能な記録媒体とは、データやプログラム等の情報を電気的、磁気的、光学的、機械的、又は化学的作用によって蓄積し、コンピュータ等から読み取ることができる記録媒体をいう。
【００２０】
また、本発明は、基本事象および頂上事象を含む事象間の因果関係を表すフォールトツリーのグラフィック表現を作図する方法であって、コンピュータによって、前記頂上事象に係るカットセットのうちから、１のカットセットを選択カットセットとして選択する選択ステップと、前記フォールトツリーにおいて、前記選択ステップにおいて選択された前記選択カットセットに属する基本事象を示す全ての記号各々を始点とし、前記頂上事象を示す記号を終点とした経路群を取得する経路群取得ステップと、前記経路群取得ステップにおいて取得された前記経路群のうち、全部または一部の経路を前記フォールトツリーのグラフィック表現の作図で強調される強調経路として設定する強調経路設定ステップと、前記強調経路設定ステップにおいて設定された前記強調経路を強調して、前記フォールトツリーのグラフィック表現を作図する作図ステップと、が実行される、作図方法であってもよい。
【００２１】
また、本発明は、基本事象および頂上事象を含む事象間の因果関係を表すフォールトツリーのグラフィック表現を作図する作図装置であって、前記頂上事象に係るカットセットのうちから、１のカットセットを選択カットセットとして選択する選択手段と、前記フォールトツリーにおいて、前記選択手段によって選択された前記選択カットセットに属する基本事象を示す全ての記号各々を始点とし、前記頂上事象を示す記号を終点とした経路群を取得する経路群取得手段と、前記経路群取得手段によって取得された前記経路群のうち、全部または一部の経路を前記フォールトツリーのグラフィック表現の作図で強調される強調経路として設定する強調経路設定手段と、前記強調経路設定手段によって設定された前記強調経路を強調して、前記フォールトツリーのグラフィック表現を作図する作図手段と、を備える作図装置であってもよい。
【発明の効果】
【００２２】
本発明によって、特定のカットセットについて、頂上事象の発生経路を視覚的に把握可能な、わかりやすい表示をする表示技術を提供することが可能となる。
【図面の簡単な説明】
【００２３】
【図１】本実施形態に係る作図プログラムが動作するコンピュータの構成を示す概略図である。
【図２】本実施形態に係る作図プログラムの機能構成の概略を示す図である。
【図３】本実施形態に係る作図プログラムによってグラフィック表現が作図されるフォールトツリーの例である。
【図４】本実施形態に係るミニマルカットセットの選択画面の例である。
【図５】本実施形態において取得される経路群の例を示す概念図である。
【図６】本実施形態において作図されるフォールトツリーのグラフィック表現の例である。
【図７】本実施形態に係る作図処理の流れを示すフローチャートである。
【図８】本実施形態に係る経路群を取得する処理の流れを示すフローチャートである。
【図９】本実施形態に係る強調経路を設定する処理の流れを示すフローチャートである。
【図１０】強調経路を設定する処理の流れを示す別のフローチャートである。
【発明を実施するための形態】
【００２４】
以下、本発明の実施の形態について、図面に基づいて説明する。なお、以下に説明する実施の形態は、本発明を実施する一例を示すものであって、本発明を以下に説明する具体的構成に限定するものではない。本発明を実施するにあたっては、実施の形態に応じた具体的構成が適宜採用されることが好ましい。
【００２５】
＜構成＞
図１は、本実施形態に係る作図プログラムが動作するコンピュータの構成を示す概略図である。本実施形態に係る作図プログラムは、コンピュータ１において動作する。コンピュータ１には、コンピュータ１を操作するためのポインティングデバイス等の操作部２が接続されている。また、コンピュータ１には、コンピュータ１からのグラフィック出力を表示するためのディスプレイ３が接続されている。
【００２６】
コンピュータ１は、ＣＰＵ（Ｃｅｎｔｒａｌ  Ｐｒｏｃｅｓｓｉｎｇ  Ｕｎｉｔ）１１、ＲＡＭ（Ｒａｎｄｏｍ  Ａｃｃｅｓｓ  Ｍｅｍｏｒｙ）１２、ＲＯＭ（Ｒｅａｄ  Ｏｎｌｙ  Ｍｅｍｏｒｙ）１３、ＨＤＤ（Ｈａｒｄ  Ｄｉｓｋ  Ｄｒｉｖｅ）等の補助記憶装置１４、入力部１５、および表示制御部１６を備える。ＣＰＵ１１は、中央処理装置であり、ＲＡＭ１２等に展開された作図プログラム等の各種プログラムの命令およびデータを処理することで、ＲＡＭ１２、補助記憶装置１４、入力部１５、表示制御部１６等を制御する。ＲＡＭ１２は、主記憶装置であり、ＣＰＵ１１によって制御され、各種命令やデータが書き込まれ、読み出される。補助記憶装置１４は、不揮発性の補助記憶装置であり、ＲＡＭ１２にロードされるＯＳ（Ｏｐｅｒａｔｉｎｇ  Ｓｙｓｔｅｍ）、作図プログラム、制御プログラム等の各種プログラム等、主にコンピュータ１の電源を落としても保持したい情報が書き込まれ、読み出される。入力部１５は、操作部２からの入力を受け付け、制御する。表示制御部１６は、ディスプレイ３に表示するグラフィックを制御する。
【００２７】
図２は、本実施形態に係る作図プログラムの機能構成の概略を示す図である。作図プログラムは、ＲＡＭ１２に読み出され、ＣＰＵ１１によって実行されることで、選択部２１、経路群取得部２２、強調経路設定部２３、および作図部２４として機能する。なお、本
実施形態では、コンピュータ１の備える各機能は、汎用プロセッサであるＣＰＵ１１によって実行されるが、これらの機能の一部又は全部は、１又は複数の専用プロセッサによって実行されてもよい。
【００２８】
図３は、本実施形態に係る作図プログラムによってグラフィック表現が作図されるフォールトツリーの例である。このフォールトツリーは、補助記憶装置１４またはＲＡＭ１２にあらかじめ記憶されている。このフォールトツリーは、頂上事象Ｔ、中間事象ａ−ｃ、および基本事象Ａ−Ｄの事象間の因果関係を表している。例えば、ＡＮＤゲート記号３２１には、下位に基本事象Ａ記号３０２、および中間事象ａ記号３１１が結線され、上位に頂上事象Ｔ記号３０１が結線されている。このことは、入力事象である基本事象Ａ３０２および中間事象ａが発生した場合に、出力事象である頂上事象Ｔ３０１が発生することを意味している。また、例えば、ＯＲゲート記号３２２には、下位に中間事象ｂ記号３１２、中間事象ｃ記号３１３、上位に中間事象ａ３１１が結線されている。このことは、入力事象である中間事象ｂ、中間事象ｃのうち、少なくとも１つが発生すると、出力事象である中間事象ａが発生することを意味している。
【００２９】
本実施形態において、選択部２１は、頂上事象に係る、１のミニマルカットセットを選択カットセットとして選択する。まず、選択部２１は、フォールトツリーの全てのミニマルカットセットを、既存の方法（例えば、ブール代数による計算）を用いて割り出す。図３のフォールトツリーにおいて、ミニマルカットセットは、｛基本事象Ａ，基本事象Ｂ，基本事象Ｃ｝、および｛基本事象Ａ，基本事象Ｂ、基本事象Ｄ｝である。次に、選択部２１は、ミニマルカットセットの一覧を、表示制御部１６を介してディスプレイ３に表示することで、ユーザに提示する。
【００３０】
図４は、本実施形態に係るミニマルカットセットの選択画面の例である。図４にはＮｏ．１としてミニマルカットセット｛基本事象Ａ，基本事象Ｂ，基本事象Ｃ｝、Ｎｏ．２としてミニマルカットセット｛基本事象Ａ，基本事象Ｂ、基本事象Ｄ｝が示されている。太枠４１は、選択対象のミニマルカットセットを示し、図４では、ミニマルカットセット｛基本事象Ａ，基本事象Ｂ，基本事象Ｃ｝が選択対象になっている。ユーザは、操作部２を介して、提示されたミニマルカットセットのうち、１のミニマルカットセットを選択する。具体的には、ユーザは、ポインティングデバイスを動かしクリックする操作等を行うことで選択する。次に、選択部２１は、ユーザによって選択されたミニマルカットセットを入力部１５から取得し、選択カットセットとして選択する。なお、選択カットセットの選択については、ユーザによる選択の操作を伴わなくてもよく、例えば、ミニマルカットセットの全てを順に自動で選択してもよい。また、選択の対象については、ミニマルカットセットではなく、カットセットであってもよい。
【００３１】
本実施形態において、経路群取得部２２は、選択部２１によって選択された選択カットセットに属する基本事象を示す全ての記号各々を始点とし、前記頂上事象を示す記号を終点とした１以上経路で構成される経路群を取得する。
【００３２】
図５は、本実施形態において取得される経路群の例を示す概念図である。この例は、図３のフォールトツリーに対して、選択カットセットが｛基本事象Ａ，基本事象Ｂ，基本事象Ｃ｝である場合の例である。この例では、経路群取得部２２によって取得される経路群は、経路ｉ５０１、経路ｉｉ５０２、経路ｉｉｉ５０３、および経路ｉｖ５０４である。例えば、経路ｉｉ５０２は、始点の基本事象Ｂ記号３０３から、ＡＮＤゲート記号３２３、中間事象ｂ記号３１２、ＯＲゲート記号３２２、中間事象ａ記号３１１、およびＡＮＤゲート記号３２１を経由し、終点の頂上事象Ｔ記号３０１までに至る経路である。
【００３３】
本実施形態において、強調経路設定部２３は、経路群取得部２２によって取得された経
路群のうち、ＡＮＤゲートの記号が1以上現れ、かつ現れるいずれかのＡＮＤゲートの入
力事象の記号のいずれかが経路群のいずれにも現れない経路を除外した残りの経路を、強調経路として設定する。図５の経路群については、経路ｉ５０１、経路ｉｉ５０２、および経路ｉｉｉ５０３が強調経路として設定され、経路ｉｖ５０４は、強調経路として設定されない。図５の経路群それぞれの経路について、以下説明する。
【００３４】
図５の経路群において、経路ｉ５０１上には、ＡＮＤゲート記号３２１が現れる。ＡＮＤゲート記号３２１の直下の記号（１階層下位に位置する記号、すなわちＡＮＤゲートの入力事象の記号を意味する）は、基本事象Ａ記号３０２および中間事象ａ記号３１１である。基本事象Ａ記号３０２は、経路ｉ５０１に現れる。また、中間事象ａ記号３１１は、少なくとも、経路ｉｉ５０２に現れる。よって、経路ｉ５０１上にある全てのANDゲート
記号の直下の記号についてそこを通る経路が存在するため、経路ｉ５０１は、強調経路として設定される。
【００３５】
図５の経路群において、経路ｉｉ５０２には、ＡＮＤゲート記号３２１、およびＡＮＤゲート記号３２３が現れる。上述のとおり、ＡＮＤゲート記号３２１の直下の記号の全ては経路群のいずれかに現れる。ＡＮＤゲート記号３２３の直下の記号は基本事象Ｂ記号３０３および基本事象Ｃ記号３０４であり、それぞれ、経路ｉｉ５０２、経路ｉｉｉ５０３に現れる。よって、経路ｉｉ５０２は、強調経路として設定される。また、図５の経路群において、経路ｉｉｉ５０３は、現れるＡＮＤゲート記号が経路ｉｉ５０２と同一なので、経路ｉｉ５０２と同様に、強調経路として設定される。
【００３６】
図５の経路群において、経路ｉｖ５０４には、ＡＮＤゲート記号３２１、およびＡＮＤゲート記号３２４が現れる。ＡＮＤゲート記号３２１の直下の記号は、上述のとおり、そこを通る経路が存在する。ＡＮＤゲート記号３２４の直下の記号は基本事象Ｂ記号３０５および基本事象Ｄ記号３０６であり、基本事象Ｂ記号３０５は、経路ｉｖ５０４に現れるが、基本事象Ｄ記号３０６は、経路ｉ５０１から経路ｉｖ５０４までのいずれにも現れない。よって、経路ｉｖ５０４上にある全てのANDゲート記号の直下の記号についてそこを
通る経路が存在しない場合があるため、経路ｉｖ５０４は除外され、強調経路として設定されない。
【００３７】
なお、強調経路の設定については、経路群のうち、全部の経路を強調経路として設定してもよい。このようにすることで、複雑な処理を要さずに強調経路を設定することができる。
【００３８】
本実施形態において、作図部２４は、強調経路設定部２３によって設定された強調経路を強調して、フォールトツリーのグラフィック表現を作図する。強調経路設定部２３は、強調経路に現れる記号および記号間の連結線には赤色、強調経路に現れない記号には黒色、強調経路に現れない記号間の連結線には青色を用いて作図することで、強調経路を強調してグラフィック表現を作図する。本実施形態において、作図プログラムは、作図されたグラフィック表現を、表示制御部１６を介してディスプレイ３に表示させる。なお、作図されたグラフィック表現については、画像ファイルとして、補助記憶装置１４に記憶されてもよい。
【００３９】
図６は、本実施形態において作図されるフォールトツリーのグラフィック表現の例である。図６では、強調経路に設定された、図５の経路ｉ５０１、経路ｉｉ５０２、および経路ｉｉｉ５０３が強調されている。図６の太線部６１が、強調されている部分であり、実際には赤色を用いて作図される。
【００４０】
なお、強調経路の強調については、例えば、強調経路に現れる記号および記号間の連結
線の線種を、強調経路に現れない記号および記号間の連結線の線種とは異なる線種で作図することで行ってもよいし、強調経路に現れる記号および記号間の連結線の線幅を、強調経路に現れない記号および記号間の連結線の線種とは異なる線幅で作図することで行ってもよいし、その他の方法で行ってもよい。
【００４１】
＜処理の流れ＞
図７から図９のフローチャートを用いて、本実施形態に係る作図プログラムの処理の流れを説明する。なお、フローチャートに示された処理の具体的な内容および順序は一例であり、処理内容および順序には、実施の形態に適したものが適宜採用されることが好ましい。
【００４２】
図７は、本実施形態に係る作図処理の流れを示すフローチャートである。この作図処理の流れは、作図対象となるフォールトツリーがあらかじめ定まった状態で開始される。
【００４３】
ステップＳ７０１およびＳ７０２では、選択部２１が、フォールトツリーの頂上事象に係るミニマルカットセットの割出しを行い、１のミニマルカットセットを選択カットセットとして選択する。次に、ステップＳ７０３では、経路群取得部２２が、選択カットセットに属する基本事象を示す全ての記号各々を始点とした経路群を取得する。ステップＳ７０３の具体的な処理の流れについては、後述する。次に、ステップＳ７０４では、強調経路設定部２３が、経路群取得部２２によって取得された経路群のうち、全部または一部を、強調経路として設定する。ステップＳ７０４の具体的な処理の流れについては、後述する。次に、ステップＳ７０５では、作図部２４が、強調経路を強調して、フォールトツリーのグラフィック表現を作図する。なお、作図されたグラフィック表現は、ディスプレイ３に表示される。
【００４４】
図８は、本実施形態に係る経路群を取得する処理の流れを示すフローチャートである。この処理の流れは、図７のステップＳ７０３の処理を詳しく示したものである。
【００４５】
ステップＳ８０１では、経路群取得部２２が、フォールトツリーにおいて、選択カットセットに属する基本事象を示す全記号を取得する。フォールトツリー中に、同一の基本事象を示す記号が複数ある場合は、それぞれの記号は別の記号として取得される。ステップＳ８０２およびＳ８０８のループでは、経路群取得部２２が、取得した全記号を１記号ずつ処理する。
【００４６】
ステップＳ８０３からＳ８０６では、未処理の基本事象を示す記号から頂上事象を示す記号までの経路が１つ取得され、取得された経路が経路群を取得する処理の結果に追加される。まず、経路群取得部２２は、ステップＳ８０１において取得された全記号のうち、未処理の基本事象を示す記号を１つ始点として設定する（ステップＳ８０３）。次に、経路群取得部２２は、頂上事象を示す記号を終点に設定する（ステップＳ８０４）。次に、経路群取得部２２は、始点から終点までフォールトツリーを上位方向へたどり、その経路を取得する（ステップＳ８０５）。次に、経路群取得部２２は、ステップＳ８０５において取得された経路を、経路群を取得する処理の結果としての経路群に追加する（ステップＳ８０６）。
【００４７】
ステップＳ８０７では、経路群取得部２２が、始点の記号を処理済みに設定する。ステップS８０８では、処理が、ステップS８０２に戻る。ステップＳ８０２では、ステップＳ８０１で取得された全記号のうち未処理のものがある場合は、処理が、ステップS８０３
に進む。また、ステップＳ８０２において、全記号が処理済みである場合は、経路群を取得する処理が、終了する。
【００４８】
図９は、本実施形態に係る強調経路を設定する処理の流れを示すフローチャートである。この処理の流れは、図７のステップＳ７０４の処理を詳しく示したものである。
【００４９】
ステップＳ９０１、Ｓ９０２、およびＳ９１１によって、経路群に含まれる全ての経路が処理される。ステップＳ９０１およびＳ９１１は、経路群処理ループを構成する。まず、ステップＳ９０１では、強調経路設定部２３が、経路群に含まれる全経路が処理済みであるか否かを判断する。ステップＳ９０１において、全経路が処理済みであると判断されなかった場合は、処理は、ステップＳ９０２へ進む。ステップＳ９０１において、全経路が処理済みではあると判断された場合は、強調経路を設定する処理は、終了する。次に、ステップＳ９０２では、強調経路設定部２３が、経路群から１つの未処理の経路を処理経路として選択する。ステップＳ９１１では、処理が、ステップＳ９０１に戻る。
【００５０】
ステップＳ９０３、Ｓ９０４、およびＳ９０９によって、処理経路に現れる全ＡＮＤゲート記号が処理される。ステップＳ９０３およびＳ９０９は、ＡＮＤゲート処理ループを構成する。まず、ステップＳ９０３では、強調経路設定部２３が、処理経路に現れる全ＡＮＤゲート記号が処理済みであるか否かを判断する。ステップＳ９０３において、全ＡＮＤゲート記号が処理済みではあると判断されなかった場合は、処理は、ステップＳ９０４へ進む。ステップＳ９０３において、全ＡＮＤゲート記号が処理済みではあると判断された場合（処理経路にＡＮＤゲート記号が１つも現れない場合を含む）は、処理は、ステップＳ９１０へ進む。次に、ステップＳ９０４では、強調経路設定部２３が、処理経路に現れる未処理のＡＮＤゲート記号を１つ処理ＡＮＤゲート記号として選択する。ステップＳ９０９では、処理が、ステップＳ９０３に戻る。
【００５１】
ステップＳ９０５、Ｓ９０６、およびＳ９０８によって、処理ＡＮＤゲート記号の直下（１階層下位）の全記号が処理される。ステップＳ９０５およびＳ９０８は、ＡＮＤゲートの直下記号チェックループを構成する。まず、ステップＳ９０５では、強調経路設定部２３が、処理ＡＮＤゲート記号の直下の全記号が処理済みであるか否かを判断する。ステップＳ９０５において、直下の全記号が処理済みであると判断されなかった場合は、処理は、ステップＳ９０６へ進む。ステップＳ９０５において、直下の全記号が処理済みであると判断された場合は、処理は、ステップＳ９０９へ進む。次に、ステップＳ９０６では、強調経路設定部２３が、処理ＡＮＤゲート記号の直下の記号から１つの未処理の記号を処理記号として選択する。ステップＳ９０８では、処理が、ステップＳ９０５に戻る。
【００５２】
ステップＳ９０７では、強調経路設定部２３が、経路群に含まれるいずれかの経路に、処理記号が現れるか否か判断する。ステップＳ９０７において、経路群に含まれるいずれかの経路に、処理記号が現れると判断された場合は、処理はステップＳ９０８に進み、次のＡＮＤゲート記号の直下の記号が処理される。ステップＳ９０７において、経路群に含まれるいずれかの経路に、処理記号が現れると判断されなかった場合は、処理は、ＡＮＤゲートの直下記号チェックループ、およびＡＮＤゲート処理ループを中断し、ステップＳ９１２へ進む。
【００５３】
処理経路に現れる全ＡＮＤゲート記号の直下の全記号が経路群のいずれかの経路に現れた場合（処理経路にＡＮＤゲート記号が現れない場合を含む）、処理は、ＡＮＤゲート処理ループを正常に終了し、ステップＳ９１０に至る。ステップＳ９１０では、強調経路設定部２３が、処理経路を強調経路として設定する。一方、処理経路に現れるいずれかのＡＮＤゲート記号のいずれかの直下の記号が経路群のいずれの経路にも現れない場合、処理は、ステップＳ９１２に至る。ステップＳ９１２では、処理経路は強調経路として設定されない。
【００５４】
以上述べたように、本実施形態によれば、フォールトツリーにおいて、特定のミニマル
カットセットについて、基本事象から頂上事象までに至る発生経路が強調して作図されるため、基本事象から頂上事象までに至る事象間の因果関係を視覚的に把握可能な、ミニマルカットセットのわかりやすい表示を得ることができる。また、本実施形態によれば、選択カットセットに属する基本事象の記号から頂上事象の記号までに至る経路群のうち、選択カットセットに属する基本事象が全て発生しても、出力事象が発生し得ないＡＮＤゲート記号を含む経路を除外した経路群が強調されて作図されるので、ミニマルカットセットに共通原因故障の基本事象が属している場合にも、基本事象から頂上事象までに至る、事象間の実質的な因果関係を視覚的に把握可能な、ミニマルカットセットのわかりやすい表示を得ることができる。また、この表示では、フォールトツリー上にあるミニマルカットセットに属する基本事象の記号のどの組み合わせが頂上事象の発生に影響を与えているかを視覚的（直感的）に理解することもできる。
【００５５】
＜強調経路を設定する処理の流れ別の例＞
図１０は、強調経路を設定する処理の流れを示す別のフローチャートである。強調処理を設定する処理として、図９の示す強調経路を設定する処理の代わりに、図１０の処理の流れを採用できる。なお、図１０において、ノードとは、記号（事象記号および論理記号を含む）を意味する。中間事象ノードとは、フォールトツリー上で中間事象を示す記号を意味する。
【００５６】
ステップＳ１００１からＳ１００７では、経路群取得部２２によって取得された経路群に現れるノードおよび結線が、ハイライト表示に設定されることで、強調経路が設定される。ステップＳ１００７が完了した時点で、ハイライト表示に設定されたノードおよび結線が、強調経路として設定される経路を構成し、作図部２４によって強調して作図される。
【００５７】
まず、ステップＳ１００１では、強調経路設定部２３が、経路群取得部２２によって取得された経路群に現れるノードおよび結線を全て、ハイライト表示に設定する。
【００５８】
次に、ステップＳ１００２からＳ１００４では、経路群に現れる全ての中間事象ノードが確認処理される。ステップＳ１００２およびＳ１００５は、中間事象確認ループを構成する。ステップＳ１００２では、強調経路設定部２３が、ハイライト表示に設定された中間事象ノード全てについて確認が終了しているか否かを判断する。ステップＳ１００２において、ハイライト表示に設定された中間事象ノード全てについて確認が終了していると判断されなかった場合は、処理は、ステップＳ１００３へ進む。ステップＳ１００２において、ハイライト表示に設定された中間事象ノード全てについて確認が終了していると判断された場合は、処理は、ステップＳ１００７へ進む。次に、ステップＳ１００３では、強調経路設定部２３が、ハイライト表示に設定された中間事象ノードのうち、未確認の中間事象ノードを１つ確認対象ノードとして設定する。ステップＳ１００５では、処理が、ステップＳ１００２に戻る。
【００５９】
ステップＳ１００４では、強調経路設定部２３は、確認対象ノードが強調経路を構成することが論理的に整合するか否かを判断する。具体的には、強調経路設定部２３は、確認対象ノードが示す中間事象を出力事象とする論理記号(確認対象ノードの下位に隣接する
論理記号、すなわち直下に位置する記号)がＡＮＤゲートであり、かつ当該ＡＮＤゲート
の入力事象のノード（当該ＡＮＤゲートの下位に隣接する事象ノード、すなわち直下に位置するノード）の少なくとも１つがハイライト表示に設定されていないときは、論理的に整合しないと判断する。また、強調経路設定部２３は、確認対象ノードが示す中間事象を出力事象とする論理記号がＡＮＤゲートであり、かつ当該ＡＮＤゲートの入力事象のノードいずれもがハイライト表示に設定されているとき、論理的に整合すると判断する。また、強調経路設定部２３は、確認対象ノードが示す中間事象を出力事象とする論理記号がＡ
ＮＤゲートではないとき、論理的に整合すると判断する。そして、ステップ１００４において、確認対象ノードが強調経路を構成することが論理的に整合すると判断された場合、処理はステップＳ１００５へ進む。また、ステップ１００４において、確認対象ノードが強調経路を構成することが論理的に整合しないと判断された場合、処理はステップＳ１００６へ進む。
【００６０】
ステップＳ１００６では、確認対象ノード以下のハイライト表示設定が解除される。具体的には、強調経路設定部２３が、確認対象ノード、確認対象ノードより下位に位置するノード、これらのノード間の結線、および確認対象ノードとその上位に隣接する論理ノードとの間の結線のハイライト表示の設定を解除する。
【００６１】
ハイライト表示設定された中間事象ノードの全てについて確認処理が終了したときは、中間事象確認ループを終了し、ステップＳ１００７に至る。ステップＳ１００７では、強調経路設定部２３が、頂上事象から孤立したハイライト表示に設定された部分（ノードあるいは結線）、すなわち、ハイライト表示に設定された部分であって当該部分から頂上事象ノードに至る経路にハイライト表示に設定されていないノードあるいは結線が現れる部分があれば、当該部分のハイライト表示の設定を解除する。
【００６２】
以上のように、図１０の処理の流れを採用することで、処理ループの多重度や処理する記号（ノード）数を少なくすることができ、効率よく、フォールトツリーのグラフィック表現の作図のための強調の設定処理をすることができる。
【符号の説明】
【００６３】
１  コンピュータ
２  操作部
３  ディスプレイ
１１  ＣＰＵ
１２  ＲＡＭ
１３  ＲＯＭ
１４  補助記憶装置
１５  入力部
１６  表示制御部
２１  選択部
２２  経路群取得部
２３  強調経路設定部
２４  作図部
【図１】
2014059597.tif 000003
【図２】
2014059597.tif 000004
【図３】
2014059597.tif 000005
【図４】
2014059597.tif 000006
【図５】
2014059597.tif 000007
【図６】
2014059597.tif 000008
【図７】
2014059597.tif 000009
【図８】
2014059597.tif 000010
【図９】
2014059597.tif 000011
【図１０】
2014059597.tif 000012