特許 7521374 情報処理システムおよびデータベースの構築方法

(19)【発行国】日本国特許庁(JP)

(12)【公報種別】特許公報(B2)

(11)【特許番号】

(24)【登録日】2024-07-16

(45)【発行日】2024-07-24

(54)【発明の名称】情報処理システムおよびデータベースの構築方法

(51)【国際特許分類】

   G11C 29/56 20060101AFI20240717BHJP

   G11C 29/10 20060101ALI20240717BHJP

   G11C 29/44 20060101ALI20240717BHJP

【ＦＩ】

G11C29/56 105

G11C29/10 110

G11C29/44 110

【請求項の数】 8

(21)【出願番号】P 2020177961

(22)【出願日】2020-10-23

(65)【公開番号】P2022069031

(43)【公開日】2022-05-11

【審査請求日】2023-08-08

(73)【特許権者】

【識別番号】000002945

【氏名又は名称】オムロン株式会社

(74)【代理人】

【識別番号】110001195

【氏名又は名称】弁理士法人深見特許事務所

(72)【発明者】

【氏名】伊達 大輝

【審査官】後藤 彰

(56)【参考文献】

【文献】特開２００３－４５９２２（ＪＰ，Ａ）

【文献】特開２００５－１９６６８０（ＪＰ，Ａ）

(58)【調査した分野】(Int.Cl.，ＤＢ名)

Ｇ１１Ｃ ２９／５６

Ｇ１１Ｃ ２９／１０

Ｇ１１Ｃ ２９／４４

(57)【特許請求の範囲】

【請求項1】

情報処理システムであって、
第１情報処理装置と、
データベースと、を備え、
前記第１情報処理装置は、
第１プログラムと前記第１プログラムの実行中に割り込まれる第２プログラムとを実行するプロセッサと、
メモリと、を含み、
前記第２プログラムは、
前記メモリ内の指定された位置の１ビットのデータを反転させる命令と、
前記１ビットのデータを反転させた後の前記第１プログラムの実行において発生した異常に関する第１情報を収集させる命令と、を含み、
前記情報処理システムは、さらに、
前記指定された位置に関する第２情報と前記第１情報とを対応付けて前記データベースに登録する登録部を備える、情報処理システム。

【請求項2】

前記第２情報は、前記指定された位置に書き込まれていた変数の名称を含む、請求項１に記載の情報処理システム。

【請求項3】

前記第１情報は、前記異常の内容を識別する第１識別情報および前記第１プログラムのうち前記異常が発生したときに実行されていたソースコードを識別する第２識別情報の少なくとも１つを含む、請求項１または２に記載の情報処理システム。

【請求項4】

前記登録部は、前記第１情報および前記第２情報と対応付けて、前記異常が発生したときの前記メモリの内容を示すメモリダンプを前記データベースにさらに登録する、請求項１から３のいずれか１項に記載の情報処理システム。

【請求項5】

前記第１プログラムを実行する第２情報処理装置において発生した異常に関する解析対象情報と一致する前記第１情報を前記データベースから検索し、検索された前記第１情報に対応する前記第２情報を出力する検索部をさらに備える、請求項１から３のいずれか１項に記載の情報処理システム。

【請求項6】

前記第１プログラムを実行する第２情報処理装置において発生した異常に関する解析対象情報と一致する前記第１情報を前記データベースから検索し、検索された前記第１情報に対応する前記第２情報および前記メモリダンプを出力する検索部をさらに備える、請求項４に記載の情報処理システム。

【請求項7】

前記登録部は、前記第１情報および前記第２情報と対応付けて、前記第１情報に対応する前記異常の原因が前記１ビットのデータの反転であるか否かを示す第３情報を前記データベースにさらに登録し、
前記検索部は、前記異常の原因が前記１ビットのデータの反転でないことを示す前記第３情報に対応する前記第１情報を検索対象から除外する、請求項５または６に記載の情報処理システム。

【請求項8】

プログラムを実行するプロセッサとメモリとを含む情報処理装置を用いたデータベースの構築方法であって、
前記メモリ内の指定された位置の１ビットのデータを反転させるステップと、
前記１ビットのデータを反転させた後の前記プロセッサによる前記プログラムの実行において発生した異常に関する第１情報を収集するステップと、
前記指定された位置に関する第２情報と前記第１情報とを対応付けて前記データベースに登録するステップとを備える、データベースの構築方法。

【発明の詳細な説明】

【技術分野】

【0001】

本開示は、情報処理システムおよびデータベースの構築方法に関する。

【背景技術】

【0002】

半導体デバイスの高集積化および微細化に伴い、メモリにおける一過性のビットエラー（ソフトエラー）が急増している。ソフトエラーは、例えばα粒子や宇宙線中性子の衝突によって生じる。ソフトエラーの起こりうるメモリをシステムに適用すると、ソフトエラーに起因する異常が生じうる。そのため、ソフトエラーとその影響との関係が予め確認されることが望まれる。

【0003】

特開２０１９－８６４２９号公報（特許文献１）には、試験対象の電子機器に中性子を照射し、ソフトエラーを再現することにより、電子機器に生じた影響を確認するソフトエラー試験手法が開示されている。

【先行技術文献】

【特許文献】

【0004】

【文献】特開２０１９－８６４２９号公報

【発明の概要】

【発明が解決しようとする課題】

【0005】

しかしながら、特許文献１に記載の技術では、中性子発生源を準備する必要があり、ソフトエラーとその影響との関係を確認するためのコストが増大する。

【0006】

本開示は、上記の問題に鑑みてなされたものであり、その目的は、ソフトエラーとその影響との関係を容易に確認可能な情報処理システムおよびデータベースの構築方法を提供することである。

【課題を解決するための手段】

【0007】

本開示の一例によれば、情報処理システムは、第１情報処理装置と、データベースと、を備える。第１情報処理装置は、第１プログラムと第１プログラムの実行中に割り込まれる第２プログラムとを実行するプロセッサと、メモリと、を含む。第２プログラムは、メモリ内の指定された位置の１ビットのデータを反転させる命令と、１ビットのデータを反転させた後の第１プログラムの実行において発生した異常に関する第１情報を収集させる命令と、を含む。情報処理システムは、さらに、指定された位置に関する第２情報と第１情報とを対応付けてデータベースに登録する登録部を備える。

【0008】

この開示によれば、第１情報と第２情報とが対応付けてデータベースに蓄積される。その結果、データベースを参照することにより、第１プログラムを実行する情報処理装置においてソフトエラーが発生したときの影響を容易に確認できる。

【0009】

上述の開示において、第２情報は、指定された位置に書き込まれていた変数の名称を含む。

【0010】

この開示によれば、メモリに格納された変数の値にソフトエラーによるデータ化けが発生したときの影響を確認しやすくなる。

【0011】

上述の開示において、第１情報は、異常の内容を識別する第１識別情報および第１プログラムのうち異常が発生したときに実行されていたソースコードを識別する第２識別情報の少なくとも１つを含む。

【0012】

この開示によれば、第１識別情報を参照することにより、どのような内容の異常が発生するかを容易に確認できる。あるいは、第２識別情報を参照することにより、第１プログラムのうちのどのソースコードで異常が発生するかを容易に確認できる。

【0013】

上述の開示において、登録部は、第１情報および第２情報と対応付けて、異常が発生したときのメモリの内容を示すメモリダンプをデータベースにさらに登録する。

【0014】

この開示によれば、例えば、第１プログラムを実行する情報処理装置において異常が発生した場合、当該異常と同じ内容の異常情報に対応するメモリダンプと、当該情報処理装置のメモリの内容とが比較される。比較結果は、異常の原因の特定に役立つ。そのため、異常の原因の解析に要する時間を短縮できる。

【0015】

上述の開示において、情報処理システム１は、第１プログラムを実行する第２情報処理装置において発生した異常に関する解析対象情報と一致する第１情報をデータベースから検索し、検索された第１情報に対応する第２情報を出力する検索部をさらに備える。

【0016】

情報処理システム１は、第１プログラムを実行する第２情報処理装置において発生した異常に関する解析対象情報と一致する第１情報をデータベースから検索し、検索された第１情報に対応する第２情報およびメモリダンプを出力する検索部をさらに備えてもよい。

【0017】

これらの開示によれば、第２情報処理装置において発生した異常の原因の候補として、出力された第２情報によって示される位置のソフトエラーが容易に挙げられる。その結果、異常の原因の解析に要する時間を短縮できる。

【0018】

さらに、メモリダンプが出力される場合、当該メモリダンプと第２情報処理装置のメモリの内容との比較結果は、異常の原因の特定に役立つ。そのため、異常の原因の解析に要する時間をさらに短縮できる。

【0019】

上述の開示において、登録部は、第１情報および第２情報と対応付けて、第１情報に対応する異常の原因が１ビットのデータの反転であるか否かを示す第３情報をデータベースにさらに登録する。検索部は、異常の原因が１ビットのデータの反転でないことを示す第３情報に対応する第１情報を検索対象から除外する。この開示によれば、検索に要する時間が短縮される。

【0020】

本開示の一例によれば、プログラムを実行するプロセッサとメモリとを含む情報処理装置を用いたデータベースの構築方法は、第１～第３のステップを備える。第１のステップは、メモリ内の指定された位置の１ビットのデータを反転させるステップである。第２のステップは、１ビットのデータを反転させた後のプロセッサによるプログラムの実行において発生した異常に関する第１情報を収集するステップである。第３のステップは、指定された位置に関する第２情報と第１情報とを対応付けてデータベースに登録するステップである。この開示によっても、ソフトエラーとその影響との関係を容易に確認できる。

【発明の効果】

【0021】

本開示によれば、ソフトエラーとその影響との関係を容易に確認できる。

【図面の簡単な説明】

【0022】

【図1】実施の形態に係る情報処理システムに備えられる、データベースの構築に関連する構成を示す概略図である。

【図2】実施の形態に係る情報処理システムに備えられる、データベースの利用に関連する構成を示す概略図である。

【図3】図１に示す安全ＩＯユニットのハードウェア構成例を示す模式図である。

【図4】図１および図２に示すコンピュータのハードウェア構成例を示すブロック図である。

【図5】安全ＩＯユニットの機能構成を示すブロック図である。

【図6】コンピュータの機能構成を示すブロック図である。

【図7】データベースに含まれるテーブルの一例を示す図である。

【発明を実施するための形態】

【0023】

本開示の実施の形態について、図面を参照しながら詳細に説明する。なお、図中の同一または相当部分については、同一符号を付してその説明は繰返さない。

【0024】

§１ 適用例
航空宇宙システム、自動車、医療機器、通信機器、産業機器など様々に分野において、メモリのデータ化けに起因する異常が発生し得る。本開示は、このような様々な分野のシステムに適用され得る。以下では、本開示の適用例として、ＦＡ（ファクトリオートメーション）分野に組み込まれる情報処理システムについて説明するが、本開示の適用例は、ＦＡ分野に限定されない。

【0025】

図１は、実施の形態に係る情報処理システムに備えられる、データベースの構築に関連する構成を示す概略図である。図１に例示される情報処理システム１は、安全ＩＯ（Input/Output）ユニット１００と、データベース２００と、コンピュータ３００と、ＰＬＣ（プログラマブルロジックコントローラ）４００と、カプラ５００と、安全コントローラ６００とを備える。

【0026】

図１に示す例では、安全ＩＯユニット１００のメインメモリ１０４に発生したソフトエラーとその影響との対応関係を示す情報がデータベース２００に蓄積される。安全ＩＯユニット１００、ＰＬＣ４００、カプラ５００および安全コントローラ６００は、データベース２００の構築のために準備される。あるいは、立ち上げ段階の生産ラインに設置された安全ＩＯユニット、ＰＬＣ、カプラおよび安全コントローラを、安全ＩＯユニット１００、ＰＬＣ４００、カプラ５００および安全コントローラ６００としてそれぞれ用いてもよい。

【0027】

安全コントローラ６００および安全ＩＯユニット１００は、ローカルユニットとして、ローカルバス１０を介してカプラ５００と接続される。なお、「ローカルユニット」とは、ローカルバス１０を介して接続される任意のユニットを総称する。

【0028】

ＰＬＣ４００は、予め作成された標準制御プログラムに従って、図示しない任意の制御対象に対する標準制御を実行する。「標準制御」は、予め定められた要求仕様に沿って、制御対象を制御するための処理の総称である。制御対象は、例えばサーボモータ、ロボットなどである。

【0029】

カプラ５００は、ＰＬＣ４００と安全コントローラ６００との間のデータの遣り取りを仲介する。カプラ５００は、フィールドネットワークを介して、ＰＬＣ４００と電気的に接続されている。フィールドネットワークは、ＦＡ用のデータ伝送を実現するための通信媒体である。フィールドネットワークにおいて、予め定められた周期でフレーム伝送が可能になっており、ネットワーク内の各ノードに対するデータ到着時間が保証される。このようなデータ到着時間が保証されるプロトコルの一例として、フィールドネットワークにはＥｔｈｅｒＣＡＴ（登録商標）が採用される。

【0030】

カプラ５００は、ローカルバス１０を介して、ＰＬＣ４００から受信したデータをローカルユニット（安全コントローラ６００および安全ＩＯユニット１００）へ送信する。カプラ５００は、ローカルユニットからデータを受信すると、当該受信したデータを次の通信フレームに格納する準備を行なう。

【0031】

安全コントローラ６００は、任意の制御対象に対するセーフティ制御を実行する。「セーフティ制御」は、設備や機械などによって人の安全が脅かされることを防止するための処理の総称である。「セーフティ制御」は、例えばＩＥＣ ６１５０８などに規定されたセーフティ機能を実現するための要件を満たすように設計される。

【0032】

安全ＩＯユニット１００は、安全コントローラ６００にローカルバス１０を介して接続される。さらに、安全ＩＯユニット１００には任意の安全デバイス（図示せず）が接続される。安全デバイスには、ライトカーテン、非常停止ボタン、セーフティドアスイッチなどが含まれる。

【0033】

安全ＩＯユニット１００は、予め定められた周期（以下、「セーフティタスク周期」と称する。）ごとにＩＯタスクを実行する。ＩＯタスクには、安全デバイスからの入力信号の受け付ける処理、当該入力信号を安全コントローラ６００へ提供する処理、安全コントローラ６００からの指令を受け付ける処理、当該指令に応じて演算する処理、演算結果を出力する処理などが含まれる。さらに、ＩＯタスクには、安全ＩＯユニット１００の異常を検知する処理、および、検知された異常を安全コントローラ６００に通知する処理も含まれる。

【0034】

安全コントローラ６００は、安全ＩＯユニット１００から提供された入力信号に応じて、セーフティ制御を実行する。例えば、安全コントローラ６００は、ライトカーテンである安全デバイスから人の侵入を示す入力信号が提供されると、ＰＬＣ４００の制御対象への電源供給を遮断する。あるいは、安全コントローラ６００は、非常停止ボタンである安全デバイスからボタン押下を示す入力信号が提供されると、ＰＬＣ４００の制御対象への電源供給を遮断する。安全コントローラ６００は、ＰＬＣ４００の制御対象への電源供給を遮断する際、情報処理システム１を構成する機器間の通信を停止する。

【0035】

このように、安全ＩＯユニット１００は、人の安全が脅かされることを防止するためのセーフティ制御に直接関わる。従って、安全コントローラ６００は、安全ＩＯユニット１００に異常が発生したときにも、ＰＬＣ４００の制御対象への電源供給を遮断する。

【0036】

コンピュータ３００は、例えば汎用のノート型コンピュータである。コンピュータ３００は、例えばＥｔｈｅｒｎｅｔ／ＩＰ（登録商標）等の通信規格に従って、ＰＬＣ４００との間でデータを遣り取りする。さらに、コンピュータ３００は、データベース２００にアクセス可能であり、データベース２００を更新したり、データベース２００を用いた検索処理を行なったりする。

【0037】

２４時間×３６５日稼働する生産ラインに設置された安全ＩＯユニットにおいてソフトエラーが発生し、当該ソフトエラーに起因して安全ＩＯユニットに異常が発生すると、生産ラインが停止される。このような生産ラインでは、停止時間をなるべく短縮することが好ましい。そのため、異常の原因を即座に解析できることが望まれる。このような要望に応えるために、本実施の形態に係る情報処理システム１は、安全ＩＯユニット１００に備えられるメインメモリ１０４において擬似的にソフトエラーを発生させ、その後に発生した異常に関する情報（以下、「異常情報」と称する。）をデータベース２００に登録する。

【0038】

具体的には、図１に示されるように、ステップＳ１において、コンピュータ３００は、ＰＬＣ４００、カプラ５００および安全コントローラ６００を介して、安全ＩＯユニット１００のメインメモリ１０４内の１ビットの位置を指定する。

【0039】

次にステップＳ２において、安全ＩＯユニット１００は、メインメモリ１０４の指定された位置の１ビットのデータを反転させる。安全ＩＯユニット１００は、１ビットのデータを反転させた後の所定時間内に発生した異常に関する異常情報を収集する。

【0040】

安全ＩＯユニット１００において異常が発生すると、安全コントローラ６００は、ＰＬＣ４００の制御対象への電源供給を遮断する。このとき、情報処理システム１の機器間の通信も停止される。

【0041】

その後、情報処理システム１の機器間の通信が再び開始されると、ステップＳ３において、収集された異常情報は、安全コントローラ６００およびカプラ５００を介して、ＰＬＣ４００に伝送される。コンピュータ３００は、ＰＬＣ４００から異常情報を取得する。

【0042】

次にステップＳ４において、コンピュータ３００は、ステップＳ１において指定した位置に関する位置情報とステップＳ３において取得した異常情報とを対応付けてデータベース２００に登録する。

【0043】

これにより、位置情報と異常情報とが対応付けてデータベース２００に蓄積される。その結果、データベース２００を参照することにより、安全ＩＯユニット１００においてソフトエラーが発生したときの影響を容易に確認できる。

【0044】

図２は、実施の形態に係る情報処理システム１に備えられる、データベース２００の利用に関連する構成を示す概略図である。図２に示されるように、情報処理システム１は、データベース２００およびコンピュータ３００に加えて、安全ＩＯユニット１００Ａと、ＰＬＣ４００Ａと、カプラ５００Ａと、安全コントローラ６００Ａとを備える。

【0045】

安全ＩＯユニット１００Ａ、ＰＬＣ４００Ａ、カプラ５００Ａおよび安全コントローラ６００Ａは、稼働中の生産ラインに設置される。立ち上げ段階の生産ラインに設置されていた安全ＩＯユニット１００、ＰＬＣ４００、カプラ５００および安全コントローラ６００が、安全ＩＯユニット１００Ａ、ＰＬＣ４００Ａ、カプラ５００Ａおよび安全コントローラ６００Ａとしてそれぞれ用いられてもよい。

【0046】

安全ＩＯユニット１００Ａは、異常が発生すると、異常に関する異常情報を生成する。生成された異常情報は、安全コントローラ６００Ａ、カプラ５００ＡおよびＰＬＣ４００Ａに伝送される。コンピュータ３００は、ＰＬＣ４００Ａから、伝送された異常情報を解析対象情報として取得する（ステップＳ１１）。なお、コンピュータ３００は、安全ＩＯユニット１００Ａから解析対象情報を直接取得してもよい。

【0047】

次に、コンピュータ３００は、データベース２００から、取得した解析対象情報と一致する異常情報を検索する（ステップＳ１２）。コンピュータ３００は、検索された異常情報に対応する位置情報を出力する（ステップＳ１３）。例えば、コンピュータ３００は、位置情報を表示する。

【0048】

これにより、解析者は、安全ＩＯユニット１００Ａにおいて発生した異常の原因の候補として、安全ＩＯユニット１００Ａのメインメモリ１０４における、位置情報によって示される位置のデータのソフトエラーを挙げることができる。その結果、解析者は、位置情報によって示される位置のデータを確認することにより、異常の原因がソフトエラーか否かを判断できる。このように、本実施の形態のデータベース２００を用いて安全ＩＯユニット１００Ａの異常の原因を解析することにより、解析に要する時間を短縮できる。

【0049】

§２ 具体例
＜安全ＩＯユニットのハードウェア構成＞
図３は、図１に示す安全ＩＯユニットのハードウェア構成例を示す模式図である。図３に例示される安全ＩＯユニット１００は、プロセッサ１０２と、メインメモリ１０４と、ストレージ１０６と、ローカルバスコントローラ１０８と、安全ＩＯモジュール１１０と、バッファメモリ１１２とを含む。これらのコンポーネントは、プロセッサバス１１４を介して、互いに接続されている。

【0050】

プロセッサ１０２は、セーフティ制御を実現するために必要な信号の入出力および管理機能に係る制御演算を実行する演算処理部に相当し、ＣＰＵ（Central Processing Unit）やＭＰＵ（Micro Processing Unit）などによって構成される。

【0051】

メインメモリ１０４は、例えばＤＲＡＭ（Dynamic Random Access Memory）やＳＲＡＭ（Static Random Access Memory）のような揮発性メモリによって構成される。ＳＲＡＭは、記憶部の構造としてフリップフロップを用いており、リフレッシュ動作を必要とせず、ＤＲＡＭより高速に動作できるという利点を有する。そのため、ＳＲＡＭをメインメモリ１０４として用いることが好ましい。

【0052】

積み上げ型（スタック型）の構造を有するＤＲＡＭでは、ソフトエラー耐性が高い。一方、フリップフロップ構造を有するＳＲＡＭでは、微細化によりソフトエラー耐性が低下する。そのため、ＳＲＡＭによって構成されるメインメモリ１０４を用いる場合、メインメモリ１０４にソフトエラーが起こりやすい。以下、メインメモリ１０４がＳＲＡＭであるとものとして説明する。

【0053】

メインメモリ１０４は、スタック領域、データ領域およびテキスト領域を有する。スタック領域は、プロセッサ１０２に内蔵されるレジスタに保持されるデータを一時退避させるための領域である。メインルーチンの実行中に関数処理（サブルーチン）が発生すると、メインルーチンを中断させるために、レジスタに保持されたデータがスタック領域に一時的に退避される。データ領域は、各種の変数などが格納される領域である。テキスト領域は、プログラムが展開される領域である。

【0054】

ストレージ１０６は、例えば、ＳＳＤ（Solid State Drive）、ＨＤＤ（Hard Disk Drive）などの不揮発性記憶装置などで構成される。ストレージ１０６には、ＩＯタスクを実現するための実行可能プログラム１２０と、ライブラリ１２２と、割り込みプログラム１２４とが格納される。

【0055】

実行可能プログラム１２０は、ＩＯタスクを実現するために必要な信号の入出力および管理機能に係る制御演算を規定する命令群を含む。実行可能プログラム１２０は、１または複数のプログラムファイルによって構成される。

【0056】

割り込みプログラム１２４は、データベース２００に登録される情報を収集するためのプログラムである。割り込みプログラム１２４は、実行可能プログラム１２０の実行中に最優先で割り込まれて実行される。

【0057】

ローカルバスコントローラ１０８は、ローカルバス１０を介して、安全ＩＯユニット１００が接続されるデバイス（例えば安全コントローラ６００、カプラ５００）との間でデータを遣り取りする。

【0058】

安全ＩＯモジュール１１０は、安全デバイスと電気的に接続され、安全デバイスによる検出結果などの入力を受け付けたり、安全デバイスへ信号を出力したりする。

【0059】

バッファメモリ１１２は、ローカルバス１０を伝送する通信フレームを一時的に保持する。バッファメモリ１１２には入力データ群と出力データ群とが保持される。安全ＩＯモジュール１１０は、安全デバイスから受けた入力信号を入力データ群の一部としてバッファメモリ１１２に格納する。さらに、ローカルバスコントローラ１０８は、カプラ５００または安全コントローラ６００から受けた入力信号を入力データ群の一部としてバッファメモリ１１２に格納する。出力データ群は、セーフティタスク周期ごとに、ローカルバスコントローラ１０８によって安全コントローラ６００およびカプラ５００に伝送される。さらに、出力データ群は、カプラ５００からＰＬＣ４００に伝送される。

【0060】

図２に示す安全ＩＯユニット１００Ａも図３に示すハードウェア構成を有する。ただし、安全ＩＯユニット１００Ａのストレージ１０６には、割り込みプログラム１２４が格納されていなくてもよい。

【0061】

＜コンピュータのハードウェア構成例＞
図４は、図１および図２に示す本実施の形態に係るコンピュータ３００のハードウェア構成例を示すブロック図である。

【0062】

コンピュータ３００は、典型的には、汎用的なアーキクテチャを有するパーソナルコンピュータである。図４に示されるように、コンピュータ３００は、プロセッサ３０２と、メモリ３０４と、ストレージ３０６と、ディスプレイ３０８と、入力装置３１０と、ＵＳＢコントローラ３１２とを含む。これらのコンポーネントは内部バス３１４を介して互いに接続されている。

【0063】

プロセッサ３０２は、ＣＰＵ、ＭＰＵなどで構成され、ストレージ３０６に格納された各種プログラムを読み出して、メモリ３０４に展開して実行することで、後述したような各種機能を実現する。メモリ３０４は、ＤＲＡＭやＳＲＡＭなどの揮発性記憶装置などで構成される。

【0064】

ストレージ３０６は、例えば、ＨＤＤやＳＳＤなどの不揮発性記憶装置などで構成される。ストレージ３０６には、ＯＳ（Operating System）３２０と、データベース２００の構築に関するＤＢ構築プログラム３２２と、安全ＩＯユニット１００Ａの異常の原因を検索する検索プログラム３２４とが格納される。

【0065】

ディスプレイ３０８は、プロセッサ３０２などによる演算結果を表示するデバイスであり、例えば、ＬＣＤ（Liquid Crystal Display）などで構成される。

【0066】

入力装置３１０は、入力を受付けるデバイスであり、例えば、キーボードやメモリなどで構成される。

【0067】

ＵＳＢコントローラ３１２は、ＵＳＢ接続を介して、ＰＬＣ４００，４００Ａとの間でデータを遣り取りする。さらに、ＵＳＢコントローラ３１２は、ＵＳＢ接続を介して、データベース２００にアクセスする。

【0068】

＜安全ＩＯユニットの機能構成＞
図５は、安全ＩＯユニット１００の機能構成を示すブロック図である。図５に示されるように、安全ＩＯユニット１００は、タスク実行部１１と、書込読出処理部１２と、データ反転部１３と、変数名抽出部１４と、異常情報収集部１５と、ダンプ処理部１６とを含む。

【0069】

タスク実行部１１は、図３に示すプロセッサ１０２が実行可能プログラム１２０を実行することにより実現される。書込読出処理部１２は、プロセッサ１０２がライブラリ１２２を実行することにより実現される。データ反転部１３、変数名抽出部１４、異常情報収集部１５およびダンプ処理部１６は、プロセッサ１０２が割り込みプログラム１２４を実行することにより実現される。なお、プロセッサ１０２は、コンピュータ３００から受ける割り込み指示に応じて割り込みプログラム１２４を実行する。

【0070】

タスク実行部１１は、セーフティタスク周期ごとにＩＯタスクを実行する。具体的には、タスク実行部１１は、バッファメモリ１１２に格納された入力データ群に含まれるデータおよびメインメモリ１０４に格納された変数の少なくとも一方を用いた制御演算を行なう。さらに、タスク実行部１１は、制御演算によって得られたデータを出力データ群の一部としてバッファメモリ１１２に格納する。

【0071】

例えば、タスク実行部１１は、入力データ群に含まれる、安全デバイスからの入力信号を出力データ群の一部としてバッファメモリ１１２に格納する。これにより、次のセーフティタスク周期において、安全デバイスからの入力信号が安全コントローラ６００に出力される。その結果、安全コントローラ６００は、安全デバイスによって人の侵入が検知されることを認識できる。

【0072】

タスク実行部１１は、制御演算において何らかの異常が発生したことに応じて、異常に関する異常情報１３０を生成し、生成した異常情報１３０を出力データ群の一部としてバッファメモリ１１２に格納する。これにより、次のセーフティタスク周期において、異常情報１３０は、安全コントローラ６００、カプラ５００およびＰＬＣ４００に伝送される。その結果、安全コントローラ６００は、安全ＩＯユニット１００において異常が発生したことを認識できる。

【0073】

異常情報１３０は、異常の内容を識別する識別情報（以下、「異常ＩＤ」と称する。）と、異常が発生したときに実行していたソースコードを識別する識別情報（「以下、コード情報」と称する。）とを含む。コード情報は、実行可能プログラム１２０を構成する１または複数のプログラムファイルのうちの実行中のソースコードを含む１つのプログラムファイルのファイル名と、当該１つのプログラムファイルにおける実行中のソードコードが記載された行番号とを含む。

【0074】

安全ＩＯユニット１００の異常には、例えば、許されない演算（０での除算、実数演算で解が虚数になる演算など）、割り当てられていない記憶領域へのアクセスなどが含まれる。

【0075】

書込読出処理部１２は、書込指示および読出指示を受けて、メインメモリ１０４に対して指定された変数の書き込みおよび読み出しをそれぞれ実行する。図５に示されるように、書込読出処理部１２は、変数管理テーブル１７を管理している。変数管理テーブル１７は、各変数について、変数名とメインメモリ１０４において当該変数の値を示すデータが保持されるアドレスとを対応付ける。書込読出処理部１２は、変数管理テーブル１７を用いて、指定された変数の書き込みおよび読み出しを実行する。

【0076】

データ反転部１３は、割り込み指示を受けると、タスク実行部１１の処理を一時的に中止させる。割り込み指示において、メインメモリ１０４における１ビットの位置（以下、「反転位置」と称する。）が指定される。反転位置は、アドレスおよびアドレス内のビット位置によって表される。

【0077】

割り込みプログラム１２４は、メモリ内の指定された位置の１ビットのデータを反転させる命令を含む。そのため、データ反転部１３は、当該命令に従って、割り込み指示によって指定された反転位置の１ビットのデータを反転させる書込指示を生成する。データ反転部１３は、生成した書込指示を書込読出処理部１２に出力する。これにより、メインメモリ１０４における反転位置の１ビットのデータが反転する。データ反転部１３は、データの反転が完了すると、タスク実行部１１の処理を再開させる。

【0078】

変数名抽出部１４、異常情報収集部１５およびダンプ処理部１６は、データベース２００に登録されるデータ群（以下、「登録用データ群１４０」と称する。）を生成する。生成された登録用データ群１４０は、出力データ群の一部としてバッファメモリ１１２に格納される。

【0079】

変数名抽出部１４は、登録用データ群１４０の一部として、割り込み指示によって指定された反転位置に書き込まれている変数の名称（以下、「変数名」と称する。）を抽出する。変数名抽出部１４は、変数管理テーブル１７から、反転位置を表すアドレスに対応する変数名１４１を抽出すればよい。

【0080】

割り込みプログラム１２４は、１ビットのデータを反転させた後の実行可能プログラム１２０の実行において発生した異常に関する異常情報を収集させる命令を含む。そのため、異常情報収集部１５は、当該命令に従って、登録用データ群１４０の一部として、１ビットのデータが反転された後のＩＯタスクにおいて発生した異常に関する異常情報１４２を収集する。具体的には、異常情報収集部１５は、１ビットのデータが反転された後の所定期間において、バッファメモリ１１２の出力データ群を監視する。異常情報収集部１５は、所定期間において出力データ群に異常情報１３０が追加されたことに応じて、当該異常情報１３０をコピーすることにより、登録用データ群１４０の一部となる異常情報１４２を生成する。

【0081】

所定期間は、セーフティタスク周期のＰ倍の期間である。Ｐは、実行可能プログラム１２０の内容、データベース２００の構築のために許される期間の長さなどに応じて、適宜設定される。

【0082】

例えば、アドレスが書き込まれている領域の１ビットが反転された場合、当該アドレスは、メインメモリ１０４に存在しない位置を表し得る。そのため、次のセーフティタスク周期において当該アドレスを読み出すと、異常が発生する。このような場合、Ｐ＝１としても問題ない。しかしながら、変数が書き込まれている領域の１ビットが反転された場合、当該変数の値を用いた制御演算がＱ回実行されることにより、異常が発生することがある。このような場合、ＰとしてＱ以上の整数を設定することが好ましい。

【0083】

一方、Ｐの値が大きいと、データベース２００の構築に要する時間が長くなる。そのため、データベース２００の構築のために許される期間の長さに応じて、Ｐが設定される。

【0084】

ダンプ処理部１６は、１ビットのデータが反転された後のＩＯタスクにおいて異常が発生したことに応じて、メインメモリ１０４のダンプ処理を実行する。具体的には、ダンプ処理部１６は、１ビットのデータが反転された後の所定期間において、バッファメモリ１１２の出力データ群を監視する。ダンプ処理部１６は、所定期間において出力データ群に異常情報１３０が追加されたことに応じて、メインメモリ１０４のダンプ処理を実行し、登録用データ群１４０の一部としてメモリダンプ１４３を生成する。メモリダンプ１４３は、メインメモリ１０４の内容の一部または全部が記録されたファイルである。

【0085】

変数名抽出部１４、異常情報収集部１５およびダンプ処理部１６は、１ビットのデータが反転されてから所定期間が経過した後に、登録用データ群１４０を出力データ群の一部としてバッファメモリ１１２に格納する。あるいは、変数名抽出部１４、異常情報収集部１５およびダンプ処理部１６は、異常情報１４２の収集およびメモリダンプ１４３の生成の完了直後に、登録用データ群１４０を出力データ群の一部としてバッファメモリ１１２に格納してもよい。

【0086】

なお、メインメモリ１０４内の１ビットのデータが反転されたとしても、必ず異常が発生するわけではない。例えば、頻繁に上書きされる領域の１ビットのデータが反転された場合、当該データは、反転された直後に正しい値に上書きされる。このような場合、異常は発生しない。あるいは、読み出しが行なわれない領域の１ビットのデータが反転された場合も、異常は発生しない。１ビットのデータが反転されてから所定期間が経過するまでの間に異常が発生しない場合、登録用データ群１４０には、変数名１４１のみが含まれ、異常情報１４２およびメモリダンプ１４３が含まれない。

【0087】

登録用データ群１４０がバッファメモリ１１２に格納された後のセーフティタスク周期において、登録用データ群１４０を含む出力データ群は、ローカルバス１０およびフィールドネットワークを介して、ＰＬＣ４００に伝送される。これにより、ＰＬＣ４００は、登録用データ群１４０を取得する。なお、１ビットのデータが反転された後の所定期間内に異常が発生し、情報処理システム１を構成する機器間の通信が停止された場合、通信再開後のセーフティタスク周期において、登録用データ群１４０を含む出力データ群がＰＬＣ４００に伝送される。

【0088】

図２に示す安全ＩＯユニット１００Ａも図５に示す機能構成を有する。ただし、安全ＩＯユニット１００Ａにおいて、データ反転部１３、変数名抽出部１４、異常情報収集部１５、およびダンプ処理部１６は省略されてもよい。安全ＩＯユニット１００Ａにおいても、タスク実行部１１は、制御演算において何らかの異常が発生したことに応じて、異常に関する異常情報１３０を生成し、生成した異常情報１３０を出力データ群の一部としてバッファメモリ１１２に格納する。これにより、次のセーフティタスク周期において、異常情報１３０は、安全コントローラ６００、カプラ５００およびＰＬＣ４００に伝送される。

【0089】

＜コンピュータの機能構成＞
図６は、コンピュータ３００の機能構成を示すブロック図である。図６に示されるように、コンピュータ３００は、指示部３１と、登録部３２と、検索部３３とを含む。指示部３１および登録部３２は、図４に示すプロセッサ３０２がＤＢ構築プログラム３２２を実行することにより実現される。検索部３３は、プロセッサ３０２が検索プログラム３２４を実行することにより実現される。

【0090】

指示部３１は、安全ＩＯユニット１００を送信先とする割り込み指示を生成し、生成した割り込み指示をＰＬＣ４００に設定する。これにより、ＰＬＣ４００からフィールドネットワークおよびローカルバス１０を介して、割り込み指示が安全ＩＯユニット１００に伝送される。割り込み指示は、安全ＩＯユニット１００のメインメモリ１０４内の１ビットの反転位置を指定する。反転位置は、上述したように、アドレスおよびビット位置で表される。

【0091】

登録部３２は、指示部３１によって割り込み指示がＰＬＣ４００に設定された後にＰＬＣ４００が登録用データ群１４０を取得したことに応じて、データベース２００に含まれるテーブル２０に新たなレコードを登録する。

【0092】

図７は、データベース２００に含まれるテーブル２０の一例を示す図である。図７に示されるように、テーブル２０は、位置情報２２と、異常情報２３と、メモリダンプ２４と、フラグ２５とを対応付けた１または複数のレコード２１を含む。

【0093】

フラグ２５は、異常情報２３によって示される異常の原因が、位置情報２２によって示される位置の１ビットのデータの反転であるか否かを示す情報である。異常の原因が１ビットのデータの反転である場合、フラグ２５には「True」が設定される。異常の原因が１ビットのデータの反転でない場合、フラグ２５には「False」が設定される。異常の原因が１ビットのデータの反転であるか否か不明である場合、フラグ２５には「Unknown」が設定される。

【0094】

登録部３２は、割り込み指示によって指定される反転位置を表すアドレスおよびビット位置と、当該割り込み指示に応じて取得された登録用データ群１４０に含まれる変数名１４１とを含む位置情報２２を設定する。さらに、登録部３２は、登録用データ群１４０に含まれる異常情報１４２およびメモリダンプ１４３を異常情報２３およびメモリダンプ２４としてそれぞれ設定する。登録部３２は、設定した位置情報２２、異常情報２３およびメモリダンプ２４と、デフォルトとして「Unknown」が設定されたフラグ２５とを対応付けたレコード２１をテーブル２０に追加する。

【0095】

登録部３２は、入力装置３１０（図４参照）への入力に応じて、各レコード２１のフラグ２５を更新する。解析者は、各レコード２１の位置情報２２、異常情報２３およびメモリダンプ２４を確認することにより、異常の原因が１ビットのデータの反転であるか否かを判断すればよい。解析者は、判断結果に応じて、フラグ２５の更新指示を入力装置３１０に入力すればよい。

【0096】

指示部３１は、メインメモリ１０４の全ビットの各々について割り込み指示を生成し、生成した割り込み指示をＰＬＣ４００に順次設定する。具体的には、指示部３１は、ｋ番目のビットに対応する割り込み指示をＰＬＣ４００に設定する。その後、ｋ番目のビットに対応する割り込み指示に応じて取得した登録用データ群１４０に基づいてレコード２１がテーブル２０に追加された後に、指示部３１は、ｋ＋１番目のビットに対応する割り込み指示をＰＬＣ４００に設定する。このようにして、メインメモリ１０４の全ビットの各々に対応するレコード２１がテーブル２０に追加される。

【0097】

なお、上述したように、メインメモリ１０４内の１ビットのデータが反転されたとしても、必ず異常が発生するわけではない。そのため、登録部３２は、登録用データ群１４０に異常情報１４２およびメモリダンプ１４３が含まれない場合、テーブル２０へのレコード２１の追加を省略してもよい。

【0098】

検索部３３は、安全ＩＯユニット１００ＡからＰＬＣ４００Ａに伝送された異常情報１３０を解析対象情報として取得する。検索部３３は、解析対象情報を取得すると、解析対象情報と一致する異常情報２３をデータベース２００から検索する。検索部３３は、検索された異常情報２３に対応する位置情報２２およびメモリダンプ２４を出力する。具体的には、検索部３３は、位置情報２２およびメモリダンプ２４をディスプレイ３０８に表示する。

【0099】

検索部３３は、異常の原因が１ビットのデータの反転でないことを示すフラグ２５に対応する異常情報２３を検索対象から除外してもよい。具体的には、検索部３３は、検索において、フラグ２５が「False」であるレコード２１を検索対象から除外する。あるいは、検索部３３は、検索において、フラグ２５が「False」または「Unknown」であるレコード２１を検索対象から除外してもよい。これにより、検索に要する時間が短縮される。

【0100】

＜フラグの更新例＞
フラグ２５の更新例について説明する。例えば、異常情報２３に含まれる異常ＩＤが例外ハンドラ呼出しによる異常を示す場合、以下のようにしてフラグ２５が更新される。例外ハンドラは、例えば、ＩＯタスクの実行中に不正メモリアクセス等が発生した際に実行される。

【0101】

例えば、解析者は、異常ＩＤから、異常の原因が不正メモリアクセスであることを疑い、異常情報２３に含まれるコード情報と、メモリダンプ２４とを確認する。コード情報が関数処理終了後のソースコードを示している場合、戻りアドレスのデータ化けが疑われる。戻りアドレスは、関数の呼出しの際に、プロセッサ１０２のレジスタからメインメモリ１０４のスタック領域に一時的に退避され、関数処理終了後にレジスタに復帰される。そのため、解析者は、位置情報２２を確認し、反転された１ビットの位置がスタック領域であるか否かを判断する。反転された１ビットの位置がスタック領域である場合、解析者は、メモリダンプ２４と実行可能プログラム１２０のソースコードとを確認することにより、異常の原因が１ビットのデータの反転か否かを判断できる。解析者は、判断結果に応じて、フラグ２５を更新すればよい。

【0102】

＜ステップＳ１～Ｓ４＞
図１に示すステップＳ１において、指示部３１として動作するプロセッサ３０２は、反転位置を指定した割り込み指示を生成し、生成した割り込み指示をＰＬＣ４００に設定する。ＰＬＣ４００は、フィールドネットワークを介して、設定された割り込み指示をカプラ５００に伝送する。カプラ５００は、ローカルバス１０を介して、割り込み指示を安全ＩＯユニット１００に伝送する。これにより、安全ＩＯユニット１００は、反転位置を指定した割り込み指示を受ける。

【0103】

ステップＳ２において、安全ＩＯユニット１００のプロセッサ１０２は、割り込み指示を受けたことに応じて、ＩＯタスクを一時的に中断する。プロセッサ１０２は、データ反転部１３として動作し、メインメモリ１０４における、割り込み指示によって指定された反転位置の１ビットのデータを反転させる。それから、プロセッサ１０２は、タスク実行部１１として動作し、ＩＯタスクを再開させる。

【0104】

さらに、変数名抽出部１４、異常情報収集部１５およびダンプ処理部１６として動作するプロセッサ１０２は、登録用データ群１４０を生成する。具体的には、プロセッサ１０２は、登録用データ群１４０の一部として、反転位置に書き込まれている変数を識別する変数名１４１を変数管理テーブル１７から抽出する。プロセッサ１０２は、１ビットのデータが反転された後の所定期間において、出力データ群に異常情報１３０が追加されたことに応じて、当該異常情報１３０をコピーすることにより、登録用データ群１４０の一部として異常情報１４２を生成する。さらに、プロセッサ１０２は、所定期間において出力データ群に異常情報１３０が追加されたことに応じて、メインメモリ１０４のダンプ処理を実行し、登録用データ群１４０の一部としてメモリダンプ１４３を生成する。

【0105】

ステップＳ３において、ローカルバスコントローラ１０８は、ローカルバス１０を介して、登録用データ群１４０を含む出力データ群をカプラ５００に伝送する。カプラ５００は、フィールドネットワークを介して、登録用データ群１４０をＰＬＣ４００に伝送する。それから、登録部３２として動作するプロセッサ３０２は、ＰＬＣ４００から登録用データ群１４０を取得する。

【0106】

ステップＳ４において、プロセッサ３０２は、割り込み指示によって指定された反転位置を表すアドレスおよびビット位置と、登録用データ群１４０に含まれる変数名１４１とを含む位置情報２２を設定する。さらに、プロセッサ３０２は、登録用データ群１４０に含まれる異常情報１４２およびメモリダンプ１４３を異常情報２３およびメモリダンプ２４としてそれぞれ設定する。それから、プロセッサ３０２は、位置情報２２、異常情報２３およびメモリダンプ２４と、デフォルトとして「Unknown」が設定されたフラグ２５とを対応付けたレコード２１をテーブル２０に追加する。さらに、プロセッサ３０２は、入力装置３１０への入力に応じて、各レコード２１のフラグ２５を更新する。これにより、データベース２００のテーブル２０が更新される。

【0107】

上記のステップＳ１～Ｓ４は、メインメモリ１０４のビットごとに繰り返される。これにより、メインメモリ１０４の全ビットの各々について、当該ビットに擬似的にソフトエラーを発生させたときの影響を示す情報がデータベース２００に蓄積される。

【0108】

このようにして構築されたデータベース２００を参照することにより、メインメモリ１０４にソフトエラーが発生したときの安全ＩＯユニット１００Ａへの影響を容易に確認できる。

【0109】

上述したように、テーブル２０の各レコード２１は位置情報２２を含む。位置情報２２は、反転された１ビットの位置に書き込まれている変数の名称（変数名）を含む。そのため、メインメモリ１０４に格納された変数の値にソフトエラーによるデータ化けが発生したときの影響を確認しやすくなる。

【0110】

さらに、異常情報２３は、異常の内容を識別する異常ＩＤと、異常が発生したときに実行されていたソースコードを識別するコード情報とを含む。これにより、解析者は、メインメモリ１０４にソフトエラーが発生したときに、どのような内容の異常が発生するか、あるいは、実行可能プログラム１２０のうちのどのソースコードで異常が発生するか、を容易に確認できる。

【0111】

さらに、データベース２００のテーブル２０には、位置情報２２および異常情報２３と対応付けて、異常が発生したときのメインメモリ１０４の内容を示すメモリダンプ２４も登録される。これにより、例えば、稼働中の生産ラインに設置された安全ＩＯユニット１００Ａにおいて異常が発生した場合、当該異常と同じ内容の異常情報２３に対応するメモリダンプ２４と、安全ＩＯユニット１００Ａのメインメモリ１０４の内容とを比較できる。比較結果は、異常の原因の特定に役立つ。そのため、異常の原因の解析に要する時間を短縮できる。

【0112】

＜ステップＳ１１～Ｓ１３＞
図２に示すステップＳ１１において、安全ＩＯユニット１００Ａのプロセッサ１０２は、タスク実行部１１として動作し、異常の発生に応じて異常情報１３０を生成し、生成した異常情報１３０を出力データ群の一部としてバッファメモリ１１２に格納する。これにより、異常情報１３０は、ローカルバス１０を介して、カプラ５００に伝送される。カプラ５００は、フィールドネットワークを介して、異常情報１３０をＰＬＣ４００に伝送する。それから、プロセッサ３０２は、ＰＬＣ４００から異常情報１３０を取得し、取得した異常情報１３０を解析対象情報として設定する。

【0113】

ステップＳ１２において、プロセッサ３０２は、検索部３３として動作し、解析対象情報と一致する異常情報２３をデータベース２００のテーブル２０から検索する。このとき、プロセッサ３０２は、フラグ２５を用いて、検索対象を絞り込んでもよい。

【0114】

ステップＳ１３において、プロセッサ３０２は、検索された異常情報２３に対応する位置情報２２およびメモリダンプ２４を出力する。具体的には、プロセッサ３０２は、位置情報２２およびメモリダンプ２４をディスプレイ３０８に表示させる。

【0115】

解析者は、安全ＩＯユニット１００Ａにおいて発生した異常の原因の候補として、出力された位置情報２２によって示される位置のソフトエラーを容易に挙げることができる。その結果、異常の原因の解析に要する時間を短縮できる。さらに、出力されたメモリダンプ２４と安全ＩＯユニット１００Ａのメインメモリ１０４の内容との比較結果は、異常の原因の特定に役立つ。そのため、異常の原因の解析に要する時間をさらに短縮できる。

【0116】

＜変形例＞
上記の説明では、安全ＩＯユニット１００において擬似的にソフトエラーを発生させる。しかしながら、擬似的にソフトエラーを発生される装置は、安全ＩＯユニット１００に限定されるものではなく、様々な情報処理装置であってもよい。

【0117】

上記の説明では、異常情報１３０，１４２は、異常ＩＤとコード情報とを含む。しかしながら、異常情報１３０，１４２は、異常ＩＤとコード情報とのうちの一方のみを含んでもよい。異常ＩＤとコード情報とのうちの一方だけが異常情報２３としてデータベース２００に登録されたとしても、ソフトエラーによる影響を確認できる。

【0118】

上記の説明では、コンピュータ３００が指示部３１、登録部３２および検索部３３を含む。しかしながら、コンピュータ３００が指示部３１および登録部３２を含み、別のコンピュータが検索部３３を含んでもよい。

【0119】

§３ 付記
以上のように、本実施の形態は以下のような開示を含む。

【0120】

（構成１）
情報処理システム（１）であって、
第１情報処理装置（１００）と、
データベース（２００）と、を備え、
前記第１情報処理装置（１００）は、
第１プログラム（１２０）と前記第１プログラム（１２０）の実行中に割り込まれる第２プログラム（１２４）とを実行するプロセッサと、
メモリ（１０４）と、を含み、
前記第２プログラム（１２４）は、
前記メモリ（１０４）内の指定された位置の１ビットのデータを反転させる命令と、
前記１ビットのデータを反転させた後の前記第１プログラム（１２０）の実行において発生した異常に関する第１情報（１４２，２３）を収集させる命令と、を含み、
前記情報処理システム（１）は、さらに、
前記指定された位置に関する第２情報（２２）と前記第１情報（１４２，２３）とを対応付けて前記データベースに登録する登録部（３２，３０２）を備える、情報処理システム（１）。

【0121】

（構成２）
前記第２情報（２２）は、前記指定された位置に書き込まれていた変数の名称を含む、構成１に記載の情報処理システム（１）。

【0122】

（構成３）
前記第１情報（１４２，２３）は、前記異常の内容を識別する第１識別情報および前記第１プログラムのうち前記異常が発生したときに実行されていたソースコードを識別する第２識別情報の少なくとも１つを含む、構成１または２に記載の情報処理システム（１）。

【0123】

（構成４）
前記登録部（３２，３０２）は、前記第１情報（１４２，２３）および前記第２情報（２２）と対応付けて、前記異常が発生したときの前記メモリ（１０４）の内容を示すメモリダンプ（２４）を前記データベース（２００）にさらに登録する、構成１から３のいずれかに記載の情報処理システム（１）。

【0124】

（構成５）
前記第１プログラム（１２０）を実行する第２情報処理装置（１００Ａ）において発生した異常に関する解析対象情報と一致する前記第１情報（１４２，２３）を前記データベース（２００）から検索し、検索された前記第１情報（１４２，２３）に対応する前記第２情報（２２）を出力する検索部（３３，３０２）をさらに備える、構成１から３のいずれかに記載の情報処理システム（１）。

【0125】

（構成６）
前記第１プログラム（１２０）を実行する第２情報処理装置（１００Ａ）において発生した異常に関する解析対象情報と一致する前記第１情報（１４２，２３）を前記データベース（２００）から検索し、検索された前記第１情報（１４２，２３）に対応する前記第２情報（２２）および前記メモリダンプ（２４）を出力する検索部（３３，３０２）をさらに備える、構成４に記載の情報処理システム（１）。

【0126】

（構成７）
前記登録部（３２，３０２）は、前記第１情報（１４２，２３）および前記第２情報（２２）と対応付けて、前記第１情報（１４２，２３）に対応する前記異常の原因が前記１ビットのデータの反転であるか否かを示す第３情報（２５）を前記データベース（２００）にさらに登録し、
前記検索部（３３，３０２）は、前記異常の原因が前記１ビットのデータの反転でないことを示す前記第３情報（２５）に対応する前記第１情報（１４２，２３）を検索対象から除外する、構成５または６に記載の情報処理システム（１）。

【0127】

（構成８）
プログラム（１２０）を実行するプロセッサ（１０２）とメモリ（１０４）とを含む情報処理装置（１００）を用いたデータベース（２００）の構築方法であって、
前記メモリ（１０４）内の指定された位置の１ビットのデータを反転させるステップと、
前記１ビットのデータを反転させた後の前記プロセッサ（１０２）による前記プログラム（１２０）の実行において発生した異常に関する第１情報を収集するステップと、
前記指定された位置に関する第２情報と前記第１情報とを対応付けて前記データベース（２００）に登録するステップとを備える、データベース（２００）の構築方法。

【0128】

本発明の実施の形態について説明したが、今回開示された実施の形態はすべての点で例示であって制限的なものではないと考えられるべきである。本発明の範囲は特許請求の範囲によって示され、特許請求の範囲と均等の意味および範囲内でのすべての変更が含まれることが意図される。

【符号の説明】

【0129】

１ 情報処理システム、１０ ローカルバス、１１ タスク実行部、１２ 書込読出処理部、１３ データ反転部、１４ 変数名抽出部、１５ 異常情報収集部、１６ ダンプ処理部、１７ 変数管理テーブル、２０ テーブル、２１ レコード、２２ 位置情報、２３，１３０，１４２ 異常情報、２４，１４３ メモリダンプ、２５ フラグ、３１ 指示部、３２ 登録部、３３ 検索部、１００，１００Ａ 安全ＩＯユニット、１０２，３０２ プロセッサ、１０４ メインメモリ、１０６，３０６ ストレージ、１０８ ローカルバスコントローラ、１１０ 安全ＩＯモジュール、１１２ バッファメモリ、１１４ プロセッサバス、１２０ 実行可能プログラム、１２２ ライブラリ、１２４ 割り込みプログラム、１４０ 登録用データ群、１４１ 変数名、２００ データベース、３００ コンピュータ、３０４ メモリ、３０８ ディスプレイ、３１０ 入力装置、３１２ ＵＳＢコントローラ、３１４ 内部バス、３２０ ＯＳ、３２２ ＤＢ構築プログラム、３２４ 検索プログラム、４００，４００Ａ ＰＬＣ、５００，５００Ａ カプラ、６００，６００Ａ 安全コントローラ。

【図1】

【図2】

【図3】

【図4】

【図5】

【図6】

【図7】