(57)【要約】  本発明は、システム障害に至るカバーされたコンポーネント障害の組み合わせを表す所与の故障の木からコンポーネントの永続性を識別するコンポーネント永続性識別部を備える、永続コンポーネントを識別するためのシステムである。
2016521384.tif 000002
【特許請求の範囲】
【請求項１】
システムの障害に至るカバーされたコンポーネント障害の組み合わせを表す所与の故障の木からコンポーネントの永続性を識別するコンポーネント永続性識別部
を備える、永続コンポーネントの識別のためのシステム。
【請求項２】
前記コンポーネント永続性識別部は、コンポーネントの永続性を、前記システムに障害が生じない限り前記コンポーネントが前記システムにおいて常に関連的であるなら、前記コンポーネントは永続的である、という定義に基づいて識別する
請求項１に記載のシステム。
【請求項３】
前記コンポーネント永続性識別部によって識別された各コンポーネントの前記永続性に基づいて、システムの前記永続性を識別するシステム永続性識別部
をさらに備える請求項１または請求項２に記載のシステム。
【請求項４】
前記システム永続性識別部は、各コンポーネントが永続的である場合に限りシステムが永続的である、という定義に基づいて、前記システムの永続性を識別する
請求項３に記載のシステム。
【請求項５】
前記システム永続性識別部は、前記システムにおいて最初の非永続コンポーネントを発見することによって前記システムの永続性を識別し、非永続コンポーネントが発見された場合に前記システムの永続性の識別を停止する
請求項４に記載のシステム。
【請求項６】
前記コンポーネントまたは前記システムの前記永続性の識別結果に基づいて無関係コンポーネントの前記カバレッジを指示する無関連性カバレッジ指示部
をさらに備える請求項１ないし５のいずれか１項に記載のシステム。
【請求項７】
システムの障害に至るカバーされたコンポーネント障害の組み合わせを表す所与の故障の木からコンポーネントの永続性を識別する、
続部品の識別のための方法。
【請求項８】
さらに、前記コンポーネント永続性識別部によって識別された各コンポーネントの前記永続性に基づいてシステムの永続性を識別する
請求項７に記載の方法。
【請求項９】
システムの障害に至るカバーされたコンポーネント障害の組み合わせを表す所与の故障の木からコンポーネントの永続性を識別する
処理をコンピュータ実行させるためのプログラム。
【請求項１０】
前記コンポーネント永続性識別部によって識別された各コンポーネントの前記永続性に基づいてシステムの永続性を識別する
処理をコンピュータに実行させる請求項９に記載のプログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、永続コンポーネントおよび永続システムを識別するためのシステム、方法、およびプログラムに関する。
【背景技術】
【０００２】
耐故障性システムは、通常、冗長性によってコンポーネント障害をカバーするように設計される。適切な冗長性が存在する場合であっても、カバーされていないコンポーネントの故障がシステムまたはサブシステムの障害に結びつく可能性があるため、故障の検出、位置特定、および隔離を含む自動回復および再構成機構が、耐故障性の実現に重要な役割を果たす。これは、故障コンポーネントが検出されなければ、対応する予備部品に切り替えることができないからであり、また、故障コンポーネントは、隔離されなければ、他の非故障コンポーネントに波及するかもしれないからである。不完全故障カバレッジの影響を考慮するモデルは、不完全故障カバレッジモデル（ＩＦＣＭ：imperfect fault coverage model）として知られている。ＩＦＣＭ上での包括的な調査は、最近の非特許文献１に示される。
【０００３】
非特許文献１の従前のＩＦＣＭにおいて、カバレッジは、故障コンポーネントに、それらの関連性（relevancy）には関係なく限定される。平たく言えば、コンポーネントが作動状態にあるか、又は故障しているか（但しカバーされる）かに関わらず、システムが同一に動作するならば、コンポーネントはシステムにおいて無関連的（irrelevant）である。実際、コンポーネントの潜在的な将来のカバーされない障害がこれ以上システム障害に結びつかないように、故障コンポーネントに加えて、無関連コンポーネント（irrelevantなコンポーネント）もカバーする（例えば、識別し、そして隔離する）ことが望まれる。
【０００４】
しかしながら、非特許文献１は、他のあるコンポーネントの障害のためにシステムに障害が生じる場合にのみ、コンポーネントが無関連的になりうるケースを考慮していなかった。言いかえれば、そのコンポーネントが自明的に無関連的である、システムに障害が生じる場合を除き、そのコンポーネントは、常に、システムにおいて関連的（relevant）である。この場合、すなわちシステムに障害が生じる場合を除き、そのコンポーネントが常に関連的であるならば、そのコンポーネントは、永続的（persistent）であると言われる。
【０００５】
コンポーネントが永続的であれば、そのコンポーネントが無関連的である場合にそのコンポーネントを隔離することは必要ない。これは、永続コンポーネント（persistent なコンポーネント）は、システムに障害が生じる場合にのみ無関連的になりうるからであり、また、システム障害の発生によるそのコンポーネントの隔離は、その結果、無意味であるからである。
【０００６】
各コンポーネントが永続的であれば、システムは永続的であると言われる。システムが永続的であれば、永続システム（persistentなシステム）の自動回復および再配置メカニズムにおいて、無関連コンポーネントのカバレッジを実施することは必要ない。言いかえれば、不完全故障カバレッジがなされる永続システムにとって、無関連コンポーネントのカバレッジは、無意味であり、システムの信頼性を向上させることはできない。これは、無関連コンポーネントのカバレッジがシステムの信頼性を向上させることができる非永続システムとは異なる。システム永続性の識別は、したがって、システムの信頼性を向上させる異なる方法の選択を案内するために有用な情報を提供することができる。
【０００７】
残念なことに、コンポーネントの永続性およびシステムの永続性の上述の問題は、従前のＩＦＣＭにおいて扱われていない。
【先行技術文献】
【非特許文献】
【０００８】
【非特許文献１】S. V. Amari, A. F. Myers, A. Rauzy, and K. S. Trivedi, "Handbook of Handbook of Performability Engineering", Chapter 22: Imperfect coverage models: status and trends, Springer, 2008, pp. 321-348
【発明の概要】
【発明が解決しようとする課題】
【０００９】
問題は、永続コンポーネントの識別および永続システムの識別が、従前のＩＦＣＭにおいて扱われていない、ということである。その理由は、システムが故障する場合にのみコンポーネントが無関連的になりうるというケースが従前のＩＦＣＭにおいて考慮されていない、ということである。
【００１０】
本発明の目的は、コンポーネントが永続的であるか否かを識別する方法、システム、およびプログラムを提供することである。
【課題を解決するための手段】
【００１１】
本発明は、システムの障害に至るカバーされたコンポーネント障害の組み合わせを表す所与の故障の木（fault tree）からコンポーネントの永続性を識別するコンポーネント永続性識別部を備える、永続コンポーネントを識別するためのシステムである。
【００１２】
本発明は、システムの障害に至るカバーされたコンポーネント障害の組み合わせを表す所与の故障の木からコンポーネントの永続性を識別することを備える、永続コンポーネントを識別するための方法である。
【００１３】
本発明は、システムの障害に至るカバーされたコンポーネント障害の組み合わせを表す所与の故障の木からコンポーネントの永続性を識別する処理をコンピュータに実行させるためのプログラムである。
【発明の効果】
【００１４】
システムの故障の木が与えられる場合にコンポーネントの永続性を識別することができる、という効果がある。
【図面の簡単な説明】
【００１５】
【図１】本発明の第１の実施形態の構成を示すブロック図である。
【図２】本発明の第１の実施形態の動作手順を示すフローチャートである。
【図３】本発明の第２の実施形態の構成を示すブロック図である。
【図４】本発明の第２の実施形態の動作手順を示すフローチャートである。
【図５】本発明の第３の実施形態の構成を示すブロック図である
【図６】実施例１を表現する故障の木である。
【発明を実施するための形態】
【００１６】
本発明は、耐故障性システムの開発のためのシステム、方法、およびプログラムに関し、特に、不完全故障カバレッジがなされるシステムの永続コンポーネントの識別に、および不完全故障カバレッジがなされる永続システムの識別に関する。
【００１７】
本発明の、永続コンポーネントを識別するための、提案されるシステムは、システムの障害に至る（カバーされた）コンポーネント障害の組み合わせを表す所与の故障の木（または論理関数）からコンポーネントの永続性を識別するコンポーネント永続性識別部を含む。このような構成を用いることによって、コンポーネントの永続性を識別することができる。
【００１８】
本発明の、永続システムを識別するための、提案されるシステムは、コンポーネント永続性識別部によって識別された各コンポーネントの永続性に基づいてシステムの永続性を識別するシステム永続性識別部をさらに含む。このような構成を用いることによって、システムの永続性を識別することができる。
【００１９】
コンポーネントは、システムが故障しない限り、そのコンポーネントがシステムに常に関連的であるならば、永続的である。コンポーネントは、その状態（故障したか否か）がシステムに影響を与えないならば、関連的である。各コンポーネントが永続的であれば、システムは永続的である。
【００２０】
本発明の目的のために、故障の木は、実質的に論理式と見なされ、カバーされるコンポーネント故障は、式の変数と見なされる。コンポーネントの関連性および永続性は、コンポーネントのカバーされる故障を表す変数の関連性および永続性として定義される。システムの永続性は、システムの故障の木の永続性として定義される。
【００２１】
Ｘ＝｛ｘ１，．．．，ｘｎ｝
をブール変数の集合とする。Ｘへの代入は、Ｘから｛０，１｝への写像と考えられる。
【００２２】
コンポーネント関連性、コンポーネントの永続性、およびシステムの永続性の正式な定義は、以下の通りである。
定義１（コンポーネントの関連性）
ｆ（ｘ１，．．．，ｘｎ）をブール関数とすると、変数ｘ１は、｛ｘ２，．．．，ｘｎ｝に対するある代入に対してｆ（１，ｘ２，．．．，ｘｎ）≠ｆ（０，ｘ２，．．．，ｘｎ）である場合に限り、ｆにおいて無関連的であるとされる。
定義２（コンポーネントの永続性）
ｆ（ｘ１，．．．，ｘｎ）をブール関数とすると、（１）ｘ１がｆにおいて関連的であり、（２）ｘ１がｆ[１／Ｓ]において無関連的であるような、変数Ｓ
2016521384.tif 000003
のいかなる集合であっても（ここで、ｆ[１／Ｓ]は、全てのｓ∈Ｓにつてｓ＝１であるｆから得られる式を示す）、Ｘ＼Ｓへのいかなる代入に対しても（ここで、＼は、集合差分演算子を表す）、ｆ[１／Ｓ]＝１である場合に限り、変数ｘ１はｆにおいて永続的であるとされる。
真値１が、故障の木との関連で故障の発生を示し、Ｓが、発生によってｘ１を無関連的にする無関連性のトリガーと見なされ得る、ということに留意されたい。
【００２３】
平たくいえば、コンポーネントは、それが関連的である場合に永続的であり、そしてそのコンポーネントを無関連的にすることができる他のコンポーネントの障害の任意の組み合わせについて、その組み合わせはシステム障害に帰着する、すなわち、システムに障害が生じる場合にのみコンポーネントが無関連的になりうる。
定義３（システムの永続性）
ｆを論理式とすると、ｆは、ｆの各変数がｆにおいて永続的である場合に限り、永続的であるとされる。
【００２４】
本発明の実施形態を説明する。
【００２５】
〈第１の実施形態〉
【００２６】
本発明の第１の実施形態を説明する。
【００２７】
図１を参照すると、本発明の第１の実施形態は、コンポーネント永続性識別部１１０と、システム永続性識別部１２０とを含む。
【００２８】
コンポーネント永続性識別部１１０は、システムの障害ロジックを表す所与の故障の木から、コンポーネントの永続性を識別する。
【００２９】
システム永続性識別部１２０は、コンポーネント永続性識別部１１０によりシステムの各コンポーネントの永続性を識別することによって、システムの永続性を識別する。コンポーネントがすべて永続的であれば、システムは永続的であり、そうでなければ、システムは永続的ではない。
【００３０】
次に、上記のように構成された第１の実施形態の動作を、図１および図２を参照して説明する。
【００３１】
まず、システムの障害ロジックを表す故障の木が与えられる（図２のステップＡ１）。ユーザは、コンポーネントの永続性を識別するか、または、システム全体の永続性を識別するかを選択することができる。ユーザがコンポーネントの永続性を識別することを選択した場合、ユーザは、識別されるコンポーネント（故障の木の変数）を指定しなければならない（図２のステップＡ２）。コンポーネントの永続性の定義（定義２）に基づいて、（所与の故障の木における）指定されたコンポーネントの永続性を識別することができる（ステップＡ３）。ユーザがシステム全体の永続性を識別することを選択した場合、各コンポーネントについて、コンポーネントの永続性の識別が繰り返し行なわれることになる（図２のステップＡ４）。そのとき、システムの永続性の定義（定義３）に従って、各コンポーネントの永続性の結果に基づいて、システムの永続性を識別することができる。この場合、出力は、システムの永続性に加えて、（副生物として）各コンポーネントの永続性を含むことができる。
【００３２】
第１の実施形態は、システムの故障ロジックを表す所与の故障の木からコンポーネントの永続性を識別するコンポーネント永続性識別部１１０を含み、それにより、コンポーネントの永続性の識別を行なうことができる。
【００３３】
その上、第１の実施形態は、コンポーネント永続性識別部１１０によって識別された、各コンポーネントの永続性の結果に基づいて、システムの永続性を識別するシステム永続性識別部１２０をさらに含み、それにより、システムの永続性の識別を行なうことができる。
【００３４】
第１の効果は、システムの故障の木が与えられれば、コンポーネントの永続性を識別することができることである。その理由は、コンポーネントの永続性は、定義２によって識別することができること、すなわち、そのコンポーネントは、システムが故障しない限り常に関連的である場合に限り、永続であることである。
【００３５】
第２の効果は、システムの故障の木が与えられれば、システムの永続性を識別することができることである。その理由は、システムの永続性は、定義３によって識別することができること、すなわち、そのシステムは、各コンポーネントが永続である場合に限り、永続であることである。
【００３６】
〈第２の実施形態〉
【００３７】
本発明の第２の実施形態を説明する。
【００３８】
図３を参照すると、本発明の第２の実施形態は、コンポーネント永続性識別部２１０と、システム永続性識別部２２０とを含む。
【００３９】
コンポーネント永続性識別部２１０は、第１の実施形態のコンポーネント永続性識別部１１０と同じである、すなわち、コンポーネント永続性識別部２１０は、システムの故障ロジックを表す所与の故障の木からコンポーネントの永続性を識別する。
【００４０】
システム永続性識別部２２０は、コンポーネント永続性識別部２１０により最初の非永続コンポーネントを見つけることによって、システムの永続性を識別するために用いられる。このような非永続コンポーネントが発見されればシステムは永続的ではなく、発見されなければシステムは永続的である。コンポーネントの永続性の識別がすべてのコンポーネントについて行なわれる第１の実施形態のシステム永続性識別部１２０とは対照的に、第２の実施形態のシステム永続性識別部２２０は、最初の非永続コンポーネントが発見された場合、コンポーネントの永続性の識別を停止する。
【００４１】
次に、上記のように構成された第２の実施形態の動作を、図３および図４を参照して説明する。
【００４２】
図４のステップＢ１、Ｂ２、Ｂ３、およびＢ４は、それぞれ図２のステップＡ１、Ａ２、Ａ３、およびＡ４によって行なわれた動作と同じ動作を実行する。図４の唯一の違いは、図４におけるコンポーネントの永続性の識別のループは、最初の非永続コンポーネントが発見された場合、停止されることである。図４のシステムの永続性の識別の場合、出力は、システムの永続性に加えていくつかのコンポーネントの永続性結果のみを含んでもよい。
【００４３】
第２の実施形態は、システムの故障ロジックを表す所与の故障の木からコンポーネントの永続性を識別するコンポーネント永続性識別部２１０を含み、それにより、コンポーネントの永続性の識別を行なうことができる。
【００４４】
その上、第２の実施形態は、前記コンポーネント永続性識別部２１０により最初の非永続コンポーネントを発見することによって、システムの永続性を識別するシステム永続性識別部２２０をさらに含む。定義３によれば、何らかの非永続コンポーネントがあれば、システムは永続的ではなく、全てのコンポーネントが永続的であれば、システムは永続的である。したがって、この実施形態において、システムの永続性の識別を行なうことができる。
【００４５】
〈第３の実施形態〉
【００４６】
本発明の第３の実施形態を説明する。
【００４７】
図５を参照すると、本発明の第３の実施形態は、コンポーネント永続性識別部３１０と、システム永続性識別部３２０と、無関連性カバレッジ指示部３３０とを含む。
【００４８】
コンポーネント永続性識別部３１０は、第１の実施形態の図１の１１０と同じであり、第２の実施形態の図３のコンポーネント永続性識別２１０と同じである。
【００４９】
システム永続性識別部３２０は、第１の実施形態の図１の１２０または第２の実施形態の図３のシステム永続性識別部２２０のいずれかであり得る。
【００５０】
無関連性カバレッジ指示部３３０は、コンポーネントまたはシステムの永続性の結果に基づいて、無関連コンポーネントのカバレッジ（識別と隔離とを含む）が有用であるか無用であるかを指示する。コンポーネントについて、それが永続的であれば、それがシステムにおいて無関連的である場合にそれをカバーすることは無用である。これは、システムに障害が生じる場合にのみ無関連性が生じるからである。システムについて、コンポーネントがすべて永続的であるのであれば、無関連コンポーネントのカバレッジを実施することは無用である。これは、この場合、システムに障害が生じる場合にのみ、すべてのコンポーネントが無関連的になりうるからである。
【００５１】
〈実施例１〉
【００５２】
実施形態に対応する実施例１を説明する。
【００５３】
実施例１において、３つのセンサ、Ｘ１、Ｘ２、およびＸ３から構成されるセンサクラスタを想定する。いずれか２つ以上のクラスタが、カバーされる障害を経験する場合、または、いずれかのクラスタが、カバーされない障害を経験する場合、センサクラスタは、故障する。
2016521384.tif 000004
を、それぞれコンポーネントＸ１、Ｘ２、およびＸ３のカバーされる障害とし、
2016521384.tif 000005
を、カバーされるコンポーネント障害の組み合わせから結果として生じるシステム障害とする。
【００５４】
システム障害に至るカバーされるコンポーネント障害の組み合わせを表す故障の木は、図６に示される。故障の木の構造関数は、下記のように記述することができる。
2016521384.tif 000006
ここで、
2016521384.tif 000007
は、投票（３のうち２）関数（３つの要素
2016521384.tif 000008
の組み合わせと、投票数２とによる）を示し、∧および∨は、それぞれ、論理積演算子及び論理和演算子を表す。
【００５５】
目的はセンサクラスタが永続的か否かを識別することであると想定する。まず、システム障害ロジックを表す故障の木（すなわち図６または式（１））が入力され（ステップＡ１）、そして、システムの永続性を識別する判定がなされる（ステップＡ２）。
【００５６】
そして、定義２による、各コンポーネントの永続性の識別が、コンポーネント永続性識別部１１０によって繰り返し行なわれる（ステップＡ３）。
例えば、コンポーネントＸ１の永続性の識別に関して、ｆ(１，１，０）＝１≠ｆ（０，１，０）＝０になるような代入
2016521384.tif 000009
が存在するので、関数ｆにおける変数
2016521384.tif 000010
の関連性が、最初に確認される。そして
2016521384.tif 000011
を無関連的にできる変数（
2016521384.tif 000012
を除く）のすべての可能的な集合が探索され、そして、唯一の適する集合は、
2016521384.tif 000013
である。しかし、
2016521384.tif 000014
への代入がいずれであっても
2016521384.tif 000015
である。これは、Ｓ１は、
2016521384.tif 000016
を無関連的にし得るが、システムの障害に帰着しうることを意味する。したがって、コンポーネントＸ１は関連的であり、そして、システム障害に至りうるＸ２およびＸ３の障害の組み合わせのためにのみ無関連的になるので、コンポーネントＸ１は永続的である。
同様に、コンポーネントＸ２は関連性があり、
2016521384.tif 000017
を無関連的にできる、変数の唯一の集合
2016521384.tif 000018
も、また、システム障害に帰結するので、コンポーネントＸ２を永続コンポーネントとして識別することができ、さらに、コンポーネントＸ３も、また、永続的であり、
2016521384.tif 000019
を無関連的にでき、かつ、システム障害に至る、変数の唯一の集合は、
2016521384.tif 000020
である。
【００５７】
各コンポーネントの永続性の結果を踏まえると、全てのコンポーネントが永続的であるので、センサクラスタは、永続システムとして識別することができる。この場合、無関連コンポーネントのカバレッジは、無用であり、システムの信頼性を向上させることはできない。
【００５８】
ＲＣＭを、無関連コンポーネントのカバレッジ無しの、カバーされるコンポーネント障害とカバーされないコンポーネント障害との組み合わせに起因するシステム障害とし、ＲＩＣＭを、無関連コンポーネントのカバレッジがありながらの、カバーされるコンポーネント障害とカバーされないコンポーネント障害との組み合わせに起因するシステム障害とする。
コンポーネントＸのカバーされない故障を
2016521384.tif 000021
とすると、ＲＣＭおよびＲＩＣＭは、以下のように解釈することができる。
2016521384.tif 000022
【００５９】
ＲＣＭ及びＲＩＣＭの間の等価性は、式（１）により直接的に証明することができ、そのことは、無関連コンポーネントのカバレッジが永続システムにとって無用であることも証明する。
【００６０】
なお、上記の説明から明らかなように、各部をハードウェアによって構成することができるが、各部をコンピュータプログラムによって実現することもできる。この場合、上述の実施形態の機能および動作と同様の機能および動作は、プログラムメモリに格納されたプログラムの下で動作するプロセッサによって実現される。
【００６１】
さらに、上述の実施形態の内容を、以下の通り記述することができる。
【００６２】
（付記１）  システム障害に至るカバーされたコンポーネント障害の組み合わせを表す所与の故障の木からコンポーネントの永続性を識別するコンポーネント永続性識別部を備える、永続コンポーネントの識別のためのシステム。
【００６３】
（付記２）  前記コンポーネント永続性識別部は、コンポーネントの永続性を、システムに障害が生じない限り前記コンポーネントがシステムにおいて常に関連的であるならば、前記コンポーネントは永続的である、という定義に基づいて識別する付記１に記載のシステム。
【００６４】
（付記３）  前記コンポーネント永続性識別部によって識別された各コンポーネントの永続性に基づいてシステムの永続性を識別するシステム永続性識別部をさらに備える付記１または付記２に記載のシステム。
【００６５】
（付記４）  前記システム永続性識別部は、各コンポーネントが永続的である場合に限りシステムが永続的である、という定義に基づいて、システムの永続性を識別する付記３に記載のシステム。
【００６６】
（付記５）  前記システム永続性識別部は、システムにおいて最初の非永続コンポーネントを発見することによってシステムの永続性を識別し、非永続コンポーネントが発見された場合にシステムの永続性の識別を停止する付記４に記載のシステム。
【００６７】
（付記６）  コンポーネントまたはシステムの永続性の識別結果に基づいて無関連コンポーネントのカバレッジを指示する無関連性カバレッジ指示部をさらに備える付記１〜５のいずれか１項に記載のシステム。
【００６８】
（付記７）  前記カバレッジは、識別と隔離とを含む付記６に記載のシステム。
【００６９】
（付記８）  システム障害に至るカバーされたコンポーネント障害の組み合わせを表す所与の故障の木からコンポーネントの永続性を識別する、永続コンポーネントの識別のための方法。
【００７０】
（付記９）  前記コンポーネントの永続性の識別は、コンポーネントの永続性を、システムに障害が生じない限り前記コンポーネントがシステムにおいて常に関連的であるならば、前記コンポーネントは永続的である、という定義に基づいて識別する付記８に記載の方法。
【００７１】
（付記１０）  前記コンポーネント永続性識別部によって識別された各コンポーネントの永続性に基づいてシステムの永続性を識別する付記８または付記９に記載の方法。
【００７２】
（付記１１）  前記永続システムの識別は、各コンポーネントが永続である場合に限りシステムが永続的である、という定義に基づいて、システムの永続性を識別する付記１０に記載の方法。
【００７３】
（付記１２）  前記永続システムの識別は、システムにおける最初の非永続コンポーネントを発見することによってシステムの永続性を識別し、非永続コンポーネントが発見された場合にシステムの永続性の識別を停止する付記１１に記載の方法。
【００７４】
（付記１３）  コンポーネントまたはシステムの永続性の識別結果に基づいて無関連コンポーネントのカバレッジをさらに指示する付記８乃至１２のいずれか１項に記載の方法。
【００７５】
（付記１４）  前記カバレッジは、識別と隔離とを含む付記１４に記載の方法。
【００７６】
（付記１５）  システム障害に至るカバーされたコンポーネント障害の組み合わせを表す所与の故障の木からコンポーネントの永続性を識別する処理をコンピュータ実行させるためのプログラム。
【００７７】
（付記１６）  コンポーネントの永続性の識別の前記処理は、コンポーネントの永続性を、システムに障害が生じない限り前記コンポーネントがシステムにおいて常に関連的であるならば、前記コンポーネントは永続的である、という定義に基づいて識別する付記１５に記載のプログラム。
【００７８】
（付記１７）  前記コンポーネント永続性識別部によって識別された各コンポーネントの永続性に基づいてシステムの永続性を識別する処理をコンピュータに実行させる、付記１５または付記１６に記載のプログラム。
【００７９】
（付記１８）  永続システムの識別の前記処理は、各コンポーネントが永続的である場合に限りシステムが永続的である、という定義に基づいて、システムの永続性を識別する付記１７に記載のプログラム。
【００８０】
（付記１９）  永続システムの識別の前記処理は、システムにおける最初の非永続コンポーネントを発見することによってシステムの永続性を識別し、非永続コンポーネントが発見された場合にシステムの永続性の識別を停止する付記１８に記載のプログラム。
【００８１】
（付記２０）  コンポーネントまたはシステムの永続性の識別結果に基づいて無関連コンポーネントのカバレッジを指示する処理をコンピュータに実行させる、付記１５乃至１９のいずれか１項に記載のプログラム。
【００８２】
（付記２１）  前記カバレッジは、識別と隔離とを含む付記２０に記載のプログラム。
【００８３】
以上、特に実施形態および実施例を参照しながら本発明を記述したが、本発明が上記の実施形態および実施例に必ずしも限定されるとは限らないことは、当業者にとって即座に明らかであろう。また、本発明の精神やスコープから逸脱しない限り、形式および細部の変更や変形が行なわれてもよい。
【００８４】
本発明は、永続コンポーネントおよびシステムの識別に用いられることができる。本発明は、また、コンポーネント／システムの永続性の識別結果に基づいて、無関連コンポーネントのカバレッジの実施の指示にも用いることができる。
【符号の説明】
【００８５】
１１０、２１０、３１０  コンポーネント永続性識別部
１２０、２２０、３２０  システム永続性識別部
３３０  無関連性カバレッジ指示部
【図１】
2016521384.tif 000023
【図２】
2016521384.tif 000024
【図３】
2016521384.tif 000025
【図４】
2016521384.tif 000026
【図５】
2016521384.tif 000027
【図６】
2016521384.tif 000028
【国際調査報告】
2016521384.tif 000029
2016521384.tif 000030