(57)【要約】【課題】関連性のないコンポーネントのカバレッジを有するシステムの正確な信頼性を計算する。【解決手段】コンポーネントの無関連性トリガを識別するためのシステムは、システム故障に至る検出対象とされるコンポーネント故障の組合せを表すブール公式からコンポーネントの無関連性公式を構築するための無関連性公式構築ユニットを含み、無関連性公式の肯定プライムインプリカントは、コンポーネントの最小の無関連性トリガを構成する。【選択図】図１【特許請求の範囲】
【請求項１】
コンポーネントの無関連性トリガを識別するためのシステムであって、
システム故障に至る検出対象とされるコンポーネント故障の組合せを表すブール公式からコンポーネントの無関連性公式を構築するための無関連性公式構築ユニット
を含み、前記無関連性公式の肯定プライムインプリカントは、前記コンポーネントの最小の無関連性トリガを構成する、システム。
【請求項２】
前記無関連性公式構築ユニットによって構築された前記無関連性公式から前記コンポーネントの前記最小の無関連性トリガを計算するためのトリガ計算ユニット
をさらに含み、前記最小の無関連性トリガは、前記無関連性公式の前記肯定プライムインプリカントである、請求項１に記載のシステム。
【請求項３】
コンポーネントの無関連性トリガを識別するための方法であって、
システム故障に至る検出対象とされるコンポーネント故障の組合せを表すブール公式からコンポーネントの無関連性公式を構築するステップ
を含み、前記無関連性公式の肯定プライムインプリカントは、前記コンポーネントの最小の無関連性トリガを構成する、方法。
【請求項４】
コンピュータに
システム故障に至る検出対象とされるコンポーネント故障の組合せを表すブール公式からコンポーネントの無関連性公式を構築するための無関連性公式構築ユニット
として機能させるためのプログラムであって、前記無関連性公式の肯定プライムインプリカントは、前記コンポーネントの最小の無関連性トリガを構成する、プログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
技術分野
本発明は、耐故障システムの開発のための方法およびプログラムに関し、特に、コンポーネントの無関連性トリガの識別（不完全な故障カバレッジを有するシステムにおける）に関する。一連のコンポーネントの故障により、別のコンポーネントがシステムで関連性のないものになる場合、一連のコンポーネントは、別のコンポーネントの無関連性トリガと呼ばれる。
【背景技術】
【０００２】
背景技術
耐故障システムは、通常、冗長性でコンポーネント故障を検出対象とするように設計される。故障検出、位置および隔離を含む自動カバレッジ（回復および再構成）メカニズムは、耐故障性を実装する上で重要な役割を果たすが、その理由は、適切な冗長性が存在する場合でさえ、検出対象とされないコンポーネント故障がシステムまたはサブシステム故障に至る可能性があるためである。これは、故障のあるコンポーネントが検出されなければ、対応するスペアと切り替えることができず、故障のあるコンポーネントを隔離しなければ、故障のあるコンポーネントが他の故障のないコンポーネントを汚染する恐れがあるためである。不完全な故障カバレッジの影響を考慮するモデルは、不完全なカバレッジモデル（ＩＰＣＭ）として知られている。ＩＰＣＭに対する包括的な調査については、最新の非特許文献１で提示されている。
【０００３】
従来のＩＰＣＭでは、カバレッジは、それらの関連性に関わらず、故障のあるコンポーネントに限定される。平たく言えば、コンポーネントが動作していようが故障していようが（しかし、検出対象とされる）、システムが同じように機能する場合、コンポーネントはシステムにおいて関連性のないものである。実際には、故障のあるコンポーネントに加えて関連性のないコンポーネントを検出対象とし（識別および隔離する）、その結果、それらの将来的に問われる可能性のある検出対象とされない故障がそれ以上システム故障に至らないようにすることが望まれる。それに加えて、関連性のないコンポーネントのカバレッジは、時間内に関連性のないコンポーネントを停止することによって、エネルギーを効率的に使用する上でも重要な役割を果たす。
【０００４】
ＩＰＣＭのほとんどの研究では、システムは、通常、本来コヒーレントであると想定され、このことは、すべてのコンポーネントが初めは関連性のあるものであることを含意する。しかし、これらのモデルは、初めは関連性のあるコンポーネントが、その後、他のいくつかのコンポーネントの検出対象とされる故障の発生を受けて関連性のないものになり得ることを考慮せず、他のいくつかのコンポーネントは、初めは関連性のあるコンポーネントの無関連性トリガと呼ばれる。コンポーネントの無関連性トリガの識別がなければ、各システム状態でコンポーネントの関連性をテストしなければならないため、関連性のないものになる時は常にコンポーネントのカバレッジは、指数の複雑性を伴う組合せ問題である。その上、関連性のないコンポーネントのカバレッジがシステムで実装されれば（任意のシステム状態での各コンポーネントの関連性の徹底的なテストにより）、各コンポーネントの無関連性トリガを知らずに正確なシステムの信頼性を評価することは不可能である。残念ながら、コンポーネントの無関連性トリガの識別は、従来のＩＰＣＭの文献の欠号であり、これがまさにこの発明の主な動機である。
【先行技術文献】
【非特許文献】
【０００５】
先行技術文献
非特許文献
【非特許文献１】NPL 1: S. V. Amari, A. F. Myers, A. Rauzy, and K. S. Trivedi, “Handbook of Performability Engineering”, Chapter 22: Imperfect coverage models: status and trends, Springer, 2008, pp. 321-348
【発明の概要】
【発明が解決しようとする課題】
【０００６】
発明の概要
技術的問題
第１の問題は、従来のＩＰＣＭでは、コンポーネントの無関連性トリガの識別が対処されていないということである。その理由は、従来のＩＰＣＭでは、関連性のないコンポーネントのカバレッジが考慮されておらず、カバレッジは、通常、害をなす故障のあるコンポーネントに限定されるためである。
【０００７】
本発明の例示的な目的は、システムにおいてコンポーネントが関連性のないものになる時は常に時間内にコンポーネントを隔離できるように、コンポーネントの最小の無関連性トリガを識別するシステムを提供することであり、関連性のないコンポーネントのカバレッジを有する正確なシステムの信頼性を計算することができる。
【課題を解決するための手段】
【０００８】
問題の解決策
本発明によるコンポーネントの無関連性トリガを識別するためのシステムは、システム故障に至る検出対象とされるコンポーネント故障の組合せを表すブール公式からコンポーネントの無関連性公式を構築するための無関連性公式構築ユニットを含み、無関連性公式の肯定プライムインプリカントは、コンポーネントの最小の無関連性トリガを構成する。
【発明の効果】
【０００９】
発明の効果
本発明の例示的な態様によれば、その故障ツリー（システム故障に至る検出対象とされるコンポーネント故障の組合せを表す）が与えられているシステムにおいて、コンポーネントの最小の無関連性トリガを識別することができる。その理由は、コンポーネントの最小の無関連性トリガを定理１および２（コヒーレントおよび非コヒーレント故障ツリーのそれぞれに対する）の観点から計算することができるためである。
【図面の簡単な説明】
【００１０】
【図１】本発明の実施形態による、コンポーネントの無関連性トリガを識別するためのシステムの構成を示すブロック図である。
【図２】本発明の実施形態による、コンポーネントの無関連性トリガを識別するためのシステムのオペレーションのフローチャートである。
【発明を実施するための形態】
【００１１】
実施形態の説明
ここでは、本発明の例示的な実施形態について、図面を参照して詳細に説明する。この発明で使用されるいくつかの用語の公式の定義および無関連性トリガの計算に対する定理は以下の通りである。
【００１２】
定義１（リテラル）リテラルは、ブール変数ｘまたはその否定
【数１】
2015537260.tif 000002
のいずれかである。ｘおよび
【数２】
2015537260.tif 000003
は相反するものと言われる。
【００１３】
定義２（積）積は、リテラルとその逆の両方を含まないリテラルの集合である。肯定リテラルのみを有する積は肯定と呼ばれる。
【００１４】
定義３（無関連性）ｆ（ｘ１，‥，ｘｎ）をブール関数とすると、ｆ（１，ｘ２，‥，ｘｎ）＝ｆ（０，ｘ２，‥，ｘｎ）の時かつその時に限り、ｆにおいて変数ｘ１は関連性のないものとされる。
【００１５】
定義４（コヒーレンシー）ブール関数が単調性であり、その変数のすべてが関連性のあるものである場合、ブール関数はコヒーレントである。
【００１６】
定義５（インプリカント）ｆをブール公式とし、
π
を積とする。
π
は、
【数３】
2015537260.tif 000004
の場合、すなわち、
π
を満たすいかなる割り当てもｆを満たす場合、ｆのインプリカントである。インプリカント
π
は、ｆの他のいずれのインプリカント
ρ
も
ρ⊂π
でない場合、プライムである。
【００１７】
定義６（無関連性トリガ）ｆ（ｘ１，‥，ｘｎ）をブール関数とすると、肯定積
τ＝｛ｘ２，．．．，ｘｍ｝（ｍ≦ｎ）
は、
ｆ＝（１，１，．．．，１，ｘｍ＋１，．．．，ｘｎ）＝ｆ（０，１，．．．，１，ｘｍ＋１，．．．，ｘｎ）
の場合、ｘ１の無関連性トリガである。無関連性トリガ
τ
は、ｘ１の他のいずれのトリガ
τ’
も
τ’⊂τ
でない場合、最小である。
【００１８】
定理１（コヒーレント故障ツリーに対する最小の無関連性トリガの計算）ｆ（ｘ１，‥，ｘｎ）をコヒーレント故障ツリーとし、
【数４】
2015537260.tif 000005
とすると、ｇ（ｘ２，‥，ｘｎ）の肯定プライムインプリカント（ＰＰＩ）は、ｆ（ｘ１，‥，ｘｎ）におけるｘ１の最小の無関連性トリガ（ＭＩＴ）、すなわち、
【数５】
2015537260.tif 000006
を構成する。
【００１９】
定理２（非コヒーレント故障ツリーに対する最小の無関連性トリガの計算）ｆ（ｘ１，‥，ｘｎ）を非コヒーレント故障ツリーとし、
【数６】
2015537260.tif 000007
とすると、ｇ（ｘ２，‥，ｘｎ）の肯定プライムインプリカント（ＰＰＩ）は、ｆ（ｘ１，‥，ｘｎ）におけるｘ１の最小の無関連性トリガ（ＭＩＴ）、すなわち、
【数７】
2015537260.tif 000008
を構成する。
【００２０】
本発明の目的のため、故障ツリーはブール公式と見なされ、検出対象とされるコンポーネント故障はブール公式の変数と見なされる。
【００２１】
図１は、本発明の実施形態による、コンポーネントの無関連性トリガを識別するためのシステム（１００）の構成を示すブロック図である。図１を参照すると、システム（１００）は、無関連性公式構築ユニット（１１０）と、トリガ計算ユニット（１２０）とを含む。
【００２２】
無関連性公式構築ユニット１１０は、システム故障に至る検出対象とされるコンポーネント故障の組合せを表す故障ツリーからコンポーネントの無関連性公式を構築するために使用される。
【００２３】
トリガ計算ユニット１２０は、無関連性公式構築ユニット１１０によって構築された無関連性公式からコンポーネントの最小の無関連性トリガ（ＭＩＴ）を計算するために使用される。ＭＩＴは、二分決定図（ＢＤＤ）に基づくものなどの従来の効率的なアルゴリズムによって評価することができる無関連性公式の肯定プライムインプリカントである。
【００２４】
ここでは、システム１００のオペレーションについて、図２を参照して説明する。最初に、システム故障に至る検出対象とされるコンポーネント故障の組合せを表す故障ツリーが入力され（ステップＡ１）、次いで、変数の対応するコンポーネントの最小の無関連性トリガを識別するため、故障ツリーの変数が選択される（ステップＡ２）。
【００２５】
故障ツリーの構造によれば、すなわち、コヒーレントか否かに関わらず、コンポーネントの無関連性トリガのすべてを符号化する無関連性公式は、定理１または２のそれぞれの観点から、前記無関連性公式構築ユニット１１０によって構築される（ステップＡ３）。例えば、故障ツリーをｆ（ｘ１，‥，ｘｎ）とし、コヒーレントであると仮定すると、ｘ１の無関連性公式は、定理１によれば、
【数８】
2015537260.tif 000009
の形式または他の任意の論理的に同等な形式、例えば、
ｇ（ｘ２，．．．，ｘｎ）＝ｆ（１，ｘ２，．．．，ｘｎ）→ｆ（０，ｘ２，．．．，ｘｎ）
で構築されるはずである。
【００２６】
最後に、最小の無関連性トリガは、前記トリガ計算ユニット１２０によって無関連性公式の肯定プライムインプリカントとして計算することができる（ステップＡ４）。公式のプライムインプリカントは、二分決定図（ＢＤＤ）に基づくものなどの従来の効率的なアルゴリズムによって評価することができる。
【００２７】
この実施形態によれば、実装モードは、所定の故障ツリーに対するコンポーネントの無関連性公式を構築するための無関連性公式構築ユニット（１１０）と、前記無関連性公式からコンポーネントの最小の無関連性トリガを計算するためのトリガ計算ユニット（１２０）とを含み、したがって、コンポーネントの最小の無関連性トリガを識別することができる。
【実施例】
【００２８】
実施例１
システムは３つのコンポーネントａ、ｂおよびｃからなり、システム故障に至る検出対象とされるコンポーネント故障の組合せを表す故障ツリーは、
ｆ（ａ，ｂ，ｃ）＝ａ・ｂ＋ｂ・ｃ
と仮定する。式中、ａ、ｂおよびｃは、便宜上、それぞれのコンポーネントの検出対象とされる故障を示すためにも使用される。
【００２９】
ｆがコヒーレント故障ツリーであるため、このシステムの各コンポーネントは、初めは関連性のあるものである。ａは重要なコンポーネントであり、システムにおいて関連性のないものになった時は常に隔離することが望まれると仮定する。次いで、ａの最小の無関連性トリガを以下の通り識別することができる。ｆがコヒーレント故障ツリーであるため、定理１によれば、ａの無関連性公式は、
【数９】
2015537260.tif 000010
の形式で、前記無関連性公式構築ユニット１１０によって構築される（ステップＡ３）。
【００３０】
無関連性公式ｇの２つのプライムインプリカント（ＰＩ）が存在する、すなわち、
【数１０】
2015537260.tif 000011
である。次いで、１つの肯定プライムインプリカント（ＰＰＩ）
｛ｃ｝
のみがａの最小の無関連性トリガ（ＭＩＴ）を構成する（ステップＡ４）、すなわち、
【数１１】
2015537260.tif 000012
である。
【００３１】
以下の式
｛ｃ｝
が定義６による無関連性トリガであること、すなわち、
ｆ（１，ｂ，１）＝１・ｂ＋ｂ・１＝ｂ
ｆ（０，ｂ，１）＝０・ｂ＋ｂ・１＝ｂ
ｆ（１，ｂ，１）＝ｆ（０，ｂ，１）
を実証することは容易である。
【産業上の利用可能性】
【００３２】
産業上の利用可能性
本発明は、前記無関連性公式構築ユニットおよびトリガ計算ユニットの実装によるコンポーネントの無関連性トリガの識別を用いて、コンポーネントが関連性のないものになる時は常に関連性のないコンポーネントのタイムリーなカバレッジのため、および、関連性のないコンポーネントのカバレッジを有するシステムの正確な信頼性分析のために使用することができる。
【符号の説明】
【００３３】
参照符号リスト
１１０  無関連性公式構築ユニット
１２０  トリガ計算ユニット
【図１】
2015537260.tif 000013
【図２】
2015537260.tif 000014
【手続補正書】
【提出日】平成26年3月19日(2014.3.19)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
コンポーネントの無関連性トリガを識別するためのシステムであって、
システム故障に至る検出対象とされるコンポーネント故障の組合せを表すブール公式からコンポーネントの無関連性公式を構築するための無関連性公式構築ユニット
を含み、
前記無関連性公式は、その肯定プライムインプリカントが前記コンポーネントの最小の無関連性トリガを構成する公式であり、
前記無関連性トリガは、検出対象とされるコンポーネント故障の集合であり、その発生により前記コンポーネントが関連性のないものになる、システム。
【請求項２】
前記無関連性公式構築ユニットによって構築された前記無関連性公式から前記コンポーネントの前記最小の無関連性トリガを計算するためのトリガ計算ユニット
をさらに含み、前記最小の無関連性トリガは、前記無関連性公式の前記肯定プライムインプリカントとして計算される、請求項１に記載のシステム。
【請求項３】
コンポーネントの無関連性トリガを識別するための方法であって、
システム故障に至る検出対象とされるコンポーネント故障の組合せを表すブール公式からコンポーネントの無関連性公式を構築するステップ
を含み、
前記無関連性公式は、その肯定プライムインプリカントが前記コンポーネントの最小の無関連性トリガを構成する公式であり、
前記無関連性トリガは、検出対象とされるコンポーネント故障の集合であり、その発生により前記コンポーネントが関連性のないものになる、方法。
【請求項４】
コンピュータに
システム故障に至る検出対象とされるコンポーネント故障の組合せを表すブール公式からコンポーネントの無関連性公式を構築するための無関連性公式構築ユニット
として機能させるためのプログラムであって、
前記無関連性公式は、その肯定プライムインプリカントが前記コンポーネントの最小の無関連性トリガを構成する公式であり、
前記無関連性トリガは、検出対象とされるコンポーネント故障の集合であり、その発生により前記コンポーネントが関連性のないものになる、プログラム。
【国際調査報告】
2015537260.tif 000015
2015537260.tif 000016