ランタイムにおけるシステムの信頼性を解析し、コンポーネント故障とコンポーネント回復の履歴と、いくつかのコンポーネントの正常な状態であるいくつかのガード条件を必要に応じ探索することとを基にして重大なコンポーネントを発見するシステムであって、解析するシステムの故障の木を入力する故障の木入力手段と、システムの故障の木のオリジナルの最小カットセットMCSとランタイム最小カットセットとを算出する故障の木解析手段と、コンポーネント故障とコンポーネント回復の履歴とを記録し、前記オリジナルのMCSに含まれたガード条件の状態を探索する履歴監視手段と有するシステム。オリジナルのMCSを算出するオリジナルMCS解析手段と、算出された最新のMCSを保存する記憶手段と、前記故障の木解析手段に代わり、前記オリジナルのMCS又は最新のMCSを基づいて、故障の木の現状のMCSを算出し、算出の効率を向上するランタイムMCS解析手段とを有する請求項1に記載のシステム。コンポーネント故障とコンポーネント回復の前記履歴は、コンポーネント故障の探索のセットにより示され、前記履歴監視手段の代わりに、前記オリジナルのMCSに含まれたコンポーネントの故障状態及びガード条件の状態のすべてを探索する監視手段を有する請求項1又は請求項2のシステム。前記ランタイム解析手段による結果を、利用者に報告するため、又は、更なる解析のための他の適切なフォーマットに変換する出力手段を有する請求項1から請求項3のいずれかに記載のシステム。ランタイムにおけるシステムの信頼性を解析し、コンポーネント故障とコンポーネント回復の履歴と、いくつかのコンポーネントの正常な状態であるいくつかのガード条件を必要に応じ探索することとを基にして重大なコンポーネントを発見する故障の木解析の方法であって、解析するシステムの故障の木を入力し、システムの故障の木のオリジナルの最小カットセットMCSとランタイム最小カットセットとを算出し、コンポーネント故障とコンポーネント回復の履歴とを記録し、前記オリジナルのMCSに含まれたガード条件の状態を探索する故障の木解析の方法。オリジナルのMCSを算出し、算出された最新のMCSを保存し、前記故障の木解析手段に代わり、前記オリジナルのMCS又は最新のMCSを基づいて、故障の木の現状のMCSを算出し、算出の効率を向上するを有する請求項5に記載の故障の木解析の方法。コンポーネント故障とコンポーネント回復の前記履歴は、コンポーネント故障の探索のセットにより示され、前記オリジナルのMCSに含まれたコンポーネントの故障状態及びガード条件の状態のすべてを探索する請求項5又は請求項6の故障の木解析の方法。前記ランタイム解析による結果を、利用者に報告するため、又は、更なる解析のための他の適切なフォーマットに変換する請求項5から請求項7のいずれかに記載の故障の木解析の方法。ランタイムにおけるシステムの信頼性を解析し、コンポーネント故障とコンポーネント回復の履歴と、いくつかのコンポーネントの正常な状態であるいくつかのガード条件を必要に応じ探索することとを基にして重大なコンポーネントを発見する故障の木解析の方法のプログラムであって、解析するシステムの故障の木を入力する処理と、システムの故障の木のオリジナルの最小カットセットMCSとランタイム最小カットセットとを算出する処理と、コンポーネント故障とコンポーネント回復の履歴とを記録し、前記オリジナルのMCSに含まれたガード条件の状態を探索する処理とを情報処理装置に実行させるプログラム。上述した発明の課題は、FTAのMCSがむしろインフォーマルなやり方で定義され、当該MCSが障の木の頂上事象に対する必要且つ十分な条件すべてをとらえていないことにある。その理由は、関連する故障の木FTがMCSにおいて正常な条件付き事象を考慮せず、当該FTが、優先ANDPANDゲートなどの系列依存性ゲートのMCSについて明確に定義されていないからである。PANDゲートは特殊なANDゲートで、当該ゲートではその出力事象が、すべてのサブ事象が左から右の特別な順序で発生した時及びその時のみ、発生する。その結果、ランタイムMCSを解析し、重大なコンポーネントを正しいやり方で発見することは、特に、故障の木が条件付き事象及び/又はPANDゲートを備える時、困難又は不可能である。そこで、本発明は上記課題に鑑みて発明されたものであって、その目的は、コンポーネントが故障し回復する際のシステム信頼性を解析し、重大なコンポーネントをランタイムにおいて発見する方法とシステムを提供することである。上記課題を解決する本発明は、ランタイムにおけるシステムの信頼性を解析し、コンポーネント故障とコンポーネント回復の履歴と、いくつかのコンポーネントの正常な状態であるいくつかのガード条件を必要に応じ探索することとを基にして重大なコンポーネントを発見するシステムであって、解析するシステムの故障の木を入力する故障の木入力手段と、システムの故障の木のオリジナルの最小カットセットMCSとランタイム最小カットセットとを算出する故障の木解析手段と、コンポーネント故障とコンポーネント回復の履歴とを記録し、前記オリジナルのMCSに含まれたガード条件の状態を探索する履歴監視手段と有するシステムである。上記課題を解決する本発明は、ランタイムにおけるシステムの信頼性を解析し、コンポーネント故障とコンポーネント回復の履歴と、いくつかのコンポーネントの正常な状態であるいくつかのガード条件を必要に応じ探索することとを基にして重大なコンポーネントを発見する故障の木解析の方法であって、解析するシステムの故障の木を入力し、システムの故障の木のオリジナルの最小カットセットMCSとランタイム最小カットセットとを算出し、コンポーネント故障とコンポーネント回復の履歴とを記録し、前記オリジナルのMCSに含まれたガード条件の状態を探索する故障の木解析の方法である。上記課題を解決する本発明は、ランタイムにおけるシステムの信頼性を解析し、コンポーネント故障とコンポーネント回復の履歴と、いくつかのコンポーネントの正常な状態であるいくつかのガード条件を必要に応じ探索することとを基にして重大なコンポーネントを発見する故障の木解析の方法のプログラムであって、解析するシステムの故障の木を入力する処理と、システムの故障の木のオリジナルの最小カットセットMCSとランタイム最小カットセットとを算出する処理と、コンポーネント故障とコンポーネント回復の履歴とを記録し、前記オリジナルのMCSに含まれたガード条件の状態を探索する処理とを情報処理装置に実行させるプログラムである。本発明は、故障の木と、コンポーネント故障とコンポーネント回復の履歴並びにいくつかのガード条件を必要に応じて探索すること、とが与えられると、システムのMCSと重大なコンポーネンとをランタイム稼働時において算出できる。その理由は、ランタイムMCSは、コンポーネント故障とコンポーネント回復の履歴を探索することと、故障の木のオリジナルのMCSに含まれた必須なガード条件の状態とを基にして算出できるからである。本発明の概要を説明する。提案するランタイムシステムの信頼性を解析する方法とシステムは、故障の木入力手段と、故障の木解析手段と、履歴監視手段とを備える。故障の木入力手段を使用し、解析するシステムの故障の木を入力する。故障の木解析手段を使用し、以下の前記履歴と監視手段が提供した探索値を基にして故障の木入力手段から入力された故障の木のオリジナルのMCSと、故障の木のランタイムMCSとを算出する。前記故障の木のオリジナルのMCSは探索値の空セットを基にして算出されること、即ち、システムの初期化では前記履歴監視手段において探索が利用できないことにと注目する。履歴監視手段を使用して、コンポーネント故障とコンポーネント回復の履歴を記録し、ガード条件の状態を監視することにより、故障の木ランタイムMCSを算出するための探索値のセットを提供するようにする。探索されたコンポーネントとガード条件は、前記オリジナルの故障の木のMCSにおいて基本故障事象と条件付き事象としてそれぞれ表記されることに注目する。かかる構造により、コンポーネントが故障し回復する際に、システムのMCS並びに重大コンポーネントはランタイムにおいて算出することができる。次に、本発明の実施の形態について図面を参照して詳細に説明する。図1を参照すると、本発明の第1の実施の形態は、故障の木入力手段110と、故障の木解析手段120と、履歴と監視手段130と、出力手段140とを備える。これらの手段はそれぞれ概略つぎのように動作する。故障の木入力手段110は、解析するシステムの故障の木を入力する。故障の木解析手段120は、故障の木入力手段110から入力された故障の木のオリジナルのMCSとランタイムMCSとを算出する。履歴監視手段130は、コンポーネント故障とコンポーネント回復の履歴を記録し、前記故障の木解析手段120により算出されたオリジナルのMCSに含まれたガード条件の現状状態を監視する。履歴と監視手段130の探索値も使用して、故障の木解析手段120は、ランタイムMCSを算出する。出力手段140は、故障の木解析手段120により算出された現状のMCS即ち、オリジナルのMCSとランタイムMCSが他のコンポーネントに転送され、表示及び更なる解析例えば、システム信頼性を定量的に解析に供されるようにする。次に、図1及び図2のフローチャートを参照して本実施の形態の全体の動作について詳細に説明する。先ず、システムの故障の木が前記故障の木入力手段110により入力されるステップA1。故障の木のオリジナルのMCSは故障の木解析手段120により算出されるステップA2。オリジナルのMCSを入手後、システムは、履歴監視手段130による探索の対象であるオリジナルのMCSのコンポーネント故障の他に、オリジナルのMCSにおいて条件付き事象を走査し、ガード条件GCとしてリストアップするステップA3。特定のシステム初期状態に従い、GCをブール値偽又は真で初期化することにより、GSが初期化された状態のオリジナルのMCSに関して、システムの初期MCSを算出することができるステップA4。初期MCSは評価即ち、初期化されており、初期MCSの値は別個のGCの探索により表記されているので、初期MCSは条件付き事象を含まないことに注目する。それを示すために、例示的な初期MCSをオリジナルのMCSと対比して図7に示す。系列ランタイムMCSのすべてはこの関心の分離のルールに従う。初期MCSは、システム初期状態における現状のMCSでもあるので、出力手段140に転送することができる。初期化後、システムはコンポーネント故障又はコンポーネント回復のいかなる事象も検出するステップA5。かかる事象が発生すると、システムは、GSの必須な探索値と、前記履歴と監視手段130により探索されたコンポーネント故障とを使い、前記オリジナルのMCSを基に現状のMCSを算出するステップA6。算出は故障の木解析手段120により行われる。最後に、現状のMCSの結果は、前記出力手段140に転送され、出力又は更なる解析に供されるステップA7。次に、本実施の形態の効果について説明する。本実施形態はオリジナルのMCSを算出し、コンポーネント故障とコンポーネント回復を検出し、ガード条件を探索するので、現状のMCSを算出することができる。次に、本発明の第2の実施の形態について図面を参照して詳細に説明する。図3を参照すると、本発明の第2の実施の形態は第1の実施形態の拡張であり、第1の実施の形態の故障の木解析手段120がオリジナルMCS解析手段121と、記憶手段122と、ランタイムMCS解析手段123とに置き換わり、ランタイムMCSを算出する効率を向上させている。これらの手段はそれぞれ概略つぎのように動作する。故障の木解析入力手段110と、履歴と監視手段130と、出力手段140とは第1の実施形態と同様な構成である。オリジナルMCS解析手段121は、故障の木解析入力手段110から入力された故障の木のオリジナルMCSを算出する。記憶手段122は、オリジナルMCS解析手段121により算出されたオリジナルのMCSと、ランタイムMCS解析手段123により算出された最新のMCSとを保存する。ランタイムMCS解析手段123は、履歴監視手段130が探索したコンポーネント故障とコンポーネント回復の履歴並びにガード条件の現状の状態と、前記記憶手段122内で保存されている最新MCS又はオリジナルのMCSとを基に現状MCSを算出する。その結果を使用し、前記記憶手段122の最新のMCSを更新する。次に、図3及び図4のフローチャートを参照して本実施の形態の全体の動作について詳細に説明する。ステップB1からB4は、第1の実施の形態のステップA1からA4とは同様なものについては説明を省略し、異なる所を説明する異なる所は、オリジナルMCSが、本実施の形態のオリジナルMCS解析手段121により算出されることである。ステップB2。ステップB4の後、その結果の初期MCSが最新MCSとして記憶手段122内に保存され、更なる算出に供されるステップB5。初期化後、システムはコンポーネントが故障又回復するいかなる事象も検出するステップB6。事象がコンポーネント故障であれば、システムは、GCがコンポーネント故障により変更されたか更にチェックする。GCが変更されていなければ、現状のMCSは記憶手段122内に保存された最新MCSを基にして算出することができステップB7、GCが変更されていれば、現状のMCSは、オリジナルのCMSとGCの現状の探索値を基にして算出する必要もある。ステップB8。再度、算出された現状のMCSは最新MCSとして記憶手段122内に保存され、次の算出に供される。現状のMCSの算出は、ランタイムMCS解析手段123によりなされる。最新のMCSの結果は、出力手段140に転送され、出力又は更なる解析に供されることができるステップB9。記憶手段122内に保存された最新MCSを出力する代わりに、算出された初期MCSと現状のMCSを直接出力手段140に転送でき、それらは図4のダッシュ矢印により表記される。次に、本実施の形態の効果について説明する。本実施の形態は、最新のMCSを保存する記憶手段と、分離済みオリジナルMCSランタイムMCS解析手段とを備える。最新MCSは、一般に、オリジナルMCSのサブセットであるので、特に、オリジナルMCSがかなり複雑である大きな複雑なシステムの場合、現状のMCSを算出効率を向上することができる。次に、具体的な実施例を用いて本発明を実施するための最良の形態の動作を説明する。簡単な例示的なデュアルシステムのシステムモデルを図5に示す。システムは2つコンポーネントC1とC2とから成り立ち、システムは、2つコンポーネントのいずれかが作動する時作動すると仮定する。これらの2つのコンポーネントのいずれかが故障した時、スイッチSと他のコンポーネントが故障していなければ、スイッチSは他のコンポーネントに切り替え、作動する。また、スイッチは最初にコンポーネントC1に接続されていると仮定する。本発明をより理解するために、第1の実施の形態は第2の実施の形態を単純化したものと見なすことができ、一般に、大きいシステムに対してはより効率的ではないので、本発明の第2の実施の形態で描がかれた手順に従うことにする図3と図4。例示的なシステムの故障の木が図6に示されていると仮定する。故障の木の頂上事象根元Tは、ANDゲートにより2つのサブ事象E1と、E2とに分解することができる。事象E1はORゲートにより2つのサブ事象C1と、E3に分解することができる。事象C1は、更に分解する必要がないコンポーネント故障の基本事象であることに注目する。事象E3は、優先ANDPANDより更に2つのサブ事象E5と、C2とに分解でき、E5がC2に先立って発生すれば、E3が発生する。逆の観点から、PANDゲートは図5に示すシステムモデルに描かれた認識を表す、即ち、事象C2が事象E5より先だって発生すれば、スイッチSは、頂上事象E3が発生しないように、コンポーネントC1に切り替え、コンポーネントC1を作動させる。事象E5は、INHIBITゲートにより、条件付き事象G2スイッチSはC2に接続されていると、基本事象Sスイッチが故障しているとに更に分解することができる。即ち、スイッチSがコンポーネントC2に接続されているとき、スイッチが故障すれば、C2に接続されたままである。事象E1の左側サブ木の一種のデユアル木と見なすことができる、頂上事象E2の右側のサブ木は同様なやり方で解析することができる。図7に示すように、3種類のMCSが、図6の故障の木を基にして、従来のFTAによるものと、時相論理によるものと、本発明の方法によるものとに関してそれぞれ算出することができる。条件付き事象について、INHIBITゲーとPANDゲートが算出する、これら3つの方法のMCSパターンを図8に示し比較する。故障の木ハンドブックでは最小カットセットはコンポーネント故障のみの最小の組み合わせと定義されているので、図7と図8において、従来のFTAは、MCSにおいて条件付き事象を含まないことに注目する。この定義に従い、従来のFTAの結果得られるMCSは、頂上事象に対して必要のみで十分な条件ではない。更に、単に、従来のFTAの理論的根拠、即ち、ブール論理は、異なる事象間系列依存性時相関係を表すのが困難であるため、PANDゲートのMCSについて明確な定義がされていない。オープンFTAなどのいくつかの現存するFTAツールは、MCSを算出するANDゲートとして単にPANDゲートを取り扱うが、正式に証明しない又は正式に説明しないかかる単純化はセマンティックな矛盾や概念上の誤解を引き起こす。即ち、PANDゲートのサブ事象が、PANDゲートで規定された特定な順序で発生しなくとも、頂上事象は依然として発生する。時相論理を使用して事象間系列依存性を取り扱うことができ、例示的な故障の木に対する候補時相MCSとPANDゲートとを図7と図8にそれぞれ示す。いつか成り立つ線形の時相演算子を時相MCSに使用していることに着目する。時相MCSの1つの潜在的トラブルは、ランタイムMCSを算出することは、一般に計算費用の増大が避けられない、コンポーネント故障の組み合わせよりもコンポーネント故障の系列を探索することが必要になることです。本発明では、条件付き事象がオリジナルのMCSで備えられ、PANDゲートのサブ事象の組み合わせが、それらの発生とは無関係に、PANDゲートのMCSを構成することが論証される。簡単に言えば、上記説明の理論的根拠は、PANDゲートが許可しない順序でサブ事象がいくつかの他のサブ事象に先だって発生すれば、事象のかかる不法な発生は、他のサブ事象及び又は頂上事象のいくつかのパーツを否定しなければならない。否定されたパーツは、ランタイムにおいて探索の対象である、該当するサブ事象及び又は頂上事象のいくつかのサブ条件付き事象として表記されていると仮定する。この場合、かかる不法な発生はPANDゲートの全体のMCSを否定するので、PANDゲートのサブ事象の順序は故障の木のランタイム解析から省略することができる。例えば、図6に示すE3をサブ事象E5とC2に接続するPANDゲートに関して、C2即ち、コンポーネントC2が故障しているがE5即ち、スイッチSがコンポーネントC2に固着しているに先立って発生すれば、スイッチSは、図5に描かれたシステム動作上のセマンティックに従いコンポーネント1に切り替わる。この場合、事象E5のサブ条件付き事象G2即ち、スイッチはコンポーネントC2に接続されているは否定され、PANDゲートのMCSは故障の木のMCSにおいて破棄される。オリジナルのMCSを算出後、システムはオリジナルのMCSを走査し、オリジナルのMCSの条件付き事象が、前記履歴と監視手段130が探索するガード条件として抽出されるステップB3。この例では、ガード条件はスイッチの状態G1とG2、即ち、スイッチはコンポーネントC1に接続されているか又はスイッチはコンポーネントC2接続されているかである。スイッチが最初にC1に接続されていると仮定すると、故障の木の初期MCSが、図9に示すG1=真及びG2=偽、即ちという評価でオリジナルのMCSを削減することにより算出できるステップB4。初期のMCSは、最新MCSとして前記記憶手段122に保存され、更なるランタイムMCSの算出に供されるステップB5。初期化後、前記履歴と監視手段130により探索された最初の事象はC1、即ち、コンポーネントC1は故障しているステップB6、及びガード条件のG1からG2への変更も検出されていると仮定すると、現状のMCSは、G2=真及びG1=偽という評価でオリジナルのMCSを削減することにより算出できるステップB8。その結果は、システムの唯一の単一故障点でもあるC2である、即ちコンポーネントC2がこの状況下で故障していれば、システムが故障する図9の状態1.1参照。システムで検出された第2の事象がS、即ち、スイッチが故障している、及びガード条件への変更がなされていないと仮定すると、現状のMCSは、最新事象S=真という評価で最新のMCSを削減することにより算出することができステップB7、その結果はC2のままである図9の状態1.1.1参照。システムで検出された第3の事象が¬S単純化のため、コンポーネントの回復を表記す否定記号¬を使用する、即ち、スイッチは回復修理され、及び現状のガード条件はG2であると仮定すると、現状のMCSは、G2=真および単純化された履歴C1=真という評価でオリジナルのMCSを削減することにより算出することができステップB8、その結果はC2のままである図9の状態1.1.1.1参照。オリジナルの履歴は、コンポーネント故障とコンポーネント回復の系列であるが、一方、単純化された履歴は、コンポーネントの故障のみの組み合わせから構成され、当該単純化された履歴においてコンポーネントは現状の状態では故障していることに注目する。ランタイムの算出は、実際には、ガード条件を必要に応じて探索して単純化された履歴を基にしており、その方法は、コンポーネント故障の系列に頼る方法、例えば、時相MCSを使う方法よりも一層効率的である。上記3つのケースに関するランタイムMCSを算出するパターンは図10に示す。本発明は、システムの故障の木のオリジナルのMCSを発生する故障の木解析手段と、コンポーネント故障とコンポーネント回復並びにガード条件の状態を探索する履歴と監視手段と、ランタイムにおける稼働時現状のMCSを算出する前記ランタイム解析手段とが実行することにより、システム信頼性を定量的なやり方で解析し、ランタイムにおける稼働時重大なコンポーネントを発見することができる。また、上述した実施の形態では、各部をハードウェアで構成したが、各部の動作と同様な動作を行うプログラムとCPUとで構成しても良い。上記の実施形態の一部又は全部は、以下の付記のようにも記載されうるが、以下には限られない。付記1ランタイムにおけるシステムの信頼性を解析し、コンポーネント故障とコンポーネント回復の履歴と、いくつかのコンポーネントの正常な状態であるいくつかのガード条件を必要に応じ探索することとを基にして重大なコンポーネントを発見するシステムであって、解析するシステムの故障の木を入力する故障の木入力手段と、システムの故障の木のオリジナルの最小カットセットMCSとランタイム最小カットセットとを算出する故障の木解析手段と、コンポーネント故障とコンポーネント回復の履歴とを記録し、前記オリジナルのMCSに含まれたガード条件の状態を探索する履歴監視手段と有するシステム。付記2オリジナルのMCSを算出するオリジナルMCS解析手段と、算出された最新のMCSを保存する記憶手段と、前記故障の木解析手段に代わり、前記オリジナルのMCS又は最新のMCSを基づいて、故障の木の現状のMCSを算出し、算出の効率を向上するランタイムMCS解析手段とを有する付記1に記載のシステム。付記3コンポーネント故障とコンポーネント回復の前記履歴は、コンポーネント故障の探索のセットにより示され、前記履歴監視手段の代わりに、前記オリジナルのMCSに含まれたコンポーネントの故障状態及びガード条件の状態のすべてを探索する監視手段を有する付記1又は付記2のシステム。付記4前記ランタイム解析手段による結果を、利用者に報告するため、又は、更なる解析のための他の適切なフォーマットに変換する出力手段を有する付記1から付記3のいずれかに記載のシステム。付記5ランタイムにおけるシステムの信頼性を解析し、コンポーネント故障とコンポーネント回復の履歴と、いくつかのコンポーネントの正常な状態であるいくつかのガード条件を必要に応じ探索することとを基にして重大なコンポーネントを発見する故障の木解析の方法であって、解析するシステムの故障の木を入力し、システムの故障の木のオリジナルの最小カットセットMCSとランタイム最小カットセットとを算出し、コンポーネント故障とコンポーネント回復の履歴とを記録し、前記オリジナルのMCSに含まれたガード条件の状態を探索する故障の木解析の方法。付記6オリジナルのMCSを算出し、算出された最新のMCSを保存し、前記故障の木解析手段に代わり、前記オリジナルのMCS又は最新のMCSを基づいて、故障の木の現状のMCSを算出し、算出の効率を向上するを有する付記5に記載の故障の木解析の方法。付記7コンポーネント故障とコンポーネント回復の前記履歴は、コンポーネント故障の探索のセットにより示され、前記オリジナルのMCSに含まれたコンポーネントの故障状態及びガード条件の状態のすべてを探索する付記5又は付記6の故障の木解析の方法。付記8前記ランタイム解析による結果を、利用者に報告するため、又は、更なる解析のための他の適切なフォーマットに変換する付記5から付記7のいずれかに記載の故障の木解析の方法。付記9ランタイムにおけるシステムの信頼性を解析し、コンポーネント故障とコンポーネント回復の履歴と、いくつかのコンポーネントの正常な状態であるいくつかのガード条件を必要に応じ探索することとを基にして重大なコンポーネントを発見する故障の木解析の方法のプログラムであって、解析するシステムの故障の木を入力する処理と、システムの故障の木のオリジナルの最小カットセットMCSとランタイム最小カットセットとを算出する処理と、コンポーネント故障とコンポーネント回復の履歴とを記録し、前記オリジナルのMCSに含まれたガード条件の状態を探索する処理とを情報処理装置に実行させるプログラム。以上好ましい実施の形態をあげて本発明を説明したが、本発明は必ずしも上記実施の形態に限定されるものではなく、その技術的思想の範囲内において様々に変形し実施することが出来る。本出願は、2010年4月22日に出願された日本出願特願2010-099259号を基礎とする優先権を主張し、その開示の全てをここに取り込む。