計時回路の計時情報の最小桁が桁上がりを生じたことを把握した際の当該計時情報T、前記計時情報の最小桁が桁上がりを生じたことを把握してからのウオッチドッグタイマの累積カウント値C、所定イベント発生の際のウオッチドッグタイマのカウント値Cm、ウオッチドッグタイマの1カウントに要する時間Δtを用いて、下記式によりタイムスタンプ値Tsを算出することを特徴とするタイムスタンプ取得装置。Ts=TCCm×Δtウオッチドッグタイマのカウント値をリセットする際、前記計時情報の最小桁が桁上がりを生じたか否かを把握することを特徴とする請求項1に記載のタイムスタンプ取得装置。前記計時回路からの信号によって前記計時情報の最小桁が桁上がりを生じたことを把握することを特徴とする請求項1に記載のタイムスタンプ取得装置。計時回路の計時情報の最小桁が桁上がりを生じたことを把握した際の当該計時情報Tを取得する第1の時刻更新処理部と、ウオッチドッグタイマのカウント値をリセットする際、リセット前のカウント値を取得して前記計時情報の最小桁が桁上がりを生じたことを把握してからの累積カウント値Cを算出する第2の時刻更新処理部と、所定イベント発生の際、ウオッチドッグタイマのカウント値Cmを取得して前記計時情報の最小桁が桁上がりを生じたことを把握してからの累積カウント値CCmを算出し、累積カウント値CCm、1カウントに要する時間Δt、前記計時情報Tからタイムスタンプ値Tsを算出するタイムスタンプ生成処理部とを備えたことを特徴とするタイムスタンプ取得装置。計時回路の計時情報の最小桁が桁上がりを生じたことを把握した際の当該計時情報T、前記計時情報の最小桁が桁上がりを生じたことを把握してからのウオッチドッグタイマの累積カウント値C、所定イベント発生の際のウオッチドッグタイマのカウント値Cm、ウオッチドッグタイマの1カウントに要する時間Δtを用いて、下記式によりタイムスタンプ値Tsを算出することを特徴とするタイムスタンプ取得方法。Ts=TCCm×Δt計時回路の計時情報の最小桁が桁上がりを生じたことを把握した際の当該計時情報Tを取得し、ウオッチドッグタイマのカウント値をリセットする際、リセット前のカウント値を取得して前記計時情報の最小桁が桁上がりを生じたことを把握してからの累積カウント値Cを算出し、所定イベント発生の際、ウオッチドッグタイマのカウント値Cmを取得して前記計時情報の最小桁が桁上がりを生じたことを把握してからの累積カウント値CCmを算出し、累積カウント値CCm、1カウントに要する時間Δt、前記計時情報Tからタイムスタンプ値Tsを算出することを特徴とするタイムスタンプ取得方法。しかしながら、微細な時刻情報を取得するためには、高精細な内部時計が必要となり、ハードウェアコストの上昇につながる。また、情報処理装置によっては、ハードウェアの構成上の制約から高精細な内部時計を搭載することが困難となる場合もある。従って、特別なハードウェアを搭載することなく、微細時間のタイムスタンプを取得することのできる技術のニーズが存在する。上記課題を解決するための本発明の実施の形態によれば、計時回路の計時情報の最小桁が桁上がりを生じたことを把握した際の当該計時情報Tを取得する第1の時刻更新処理部と、ウオッチドッグタイマのカウント値をリセットする際、リセット前のカウント値を取得して前記計時情報の最小桁が桁上がりを生じたことを把握してからの累積カウント値Cを算出する第2の時刻更新処理部と、所定イベント発生の際、ウオッチドッグタイマのカウント値Cmを取得して前記計時情報の最小桁が桁上がりを生じたことを把握してからの累積カウント値CCmを算出し、累積カウント値CCm、1カウントに要する時間Δt、前記計時情報Tからタイムスタンプ値Tsを算出するタイムスタンプ生成処理部とを備えたタイムスタンプ取得装置が提供される。第1の実施の形態以下、図面を参照しながら、本発明の実施形態に係るタイムスタンプ取得装置について詳細に説明する。図1は、本実施形態に係るタイムスタンプ取得装置を搭載する情報処理装置の構成例について説明するためのブロック図である。図1に示すように情報処理装置100は、CPU101、RTCリアルタイムクロック102、WDTウオッチドッグタイマ103、プログラムメモリ部104及びメモリ部105を備えている。CPU101は、クロック信号に同期して情報処理装置100に組み込まれた命令を順次実行する。RTC102は、実時間年月日時分秒を生成する計時回路である。WDT103は、クロック信号をカウントし、カウント値が所定値よりも大きくなった場合、CPU101に対して異常発生を表すCPU割り込みを出力する。なお、CPU101、RTC102、WDT103は、同じCPUボード上に構成される。プログラムメモリ部104は情報処理装置100を制御するプログラムを格納する。メモリ部105は、種々のデータを格納する。メモリ部105は、揮発性メモリで構成しても良く、例えば、EEPROMあるいはフラッシュROMなどのデータの書き込み及び書換えが可能な不揮発性のメモリで構成しても良い。プログラムメモリ部104は、アプリケーション部106及びタイムスタンプ取得部107を有している。そして、タイムスタンプ取得部107には、時刻更新処理部108及びタイムスタンプ生成処理部109が設けられている。アプリケーション部106は、情報処理装置100を制御するアプリケーションプログラムである。なお、タイムスタンプの取得に関しては、タイムスタンプ取得部107が実行する。時刻更新処理部108及びタイムスタンプ生成処理部109については後で詳細に説明する。図2は、実施の形態のウオッチドッグタイマの動作について説明するための図である。図2の横軸は経過時間を表し、縦軸はWDT103によるカウント値を表している。そして、このカウント値には、エラーとなる閾値が設定されている。情報処理装置100が起動後、WDT103は、サイクリックに起動してカウントを加算する。WDT103が、カウントする周期は、例えばCPUのクロック周波数に対応するμ秒オーダである。一方、アプリケーション部106は所定周期で起動して、WDT103にカウント値のリセットを指示する。リセット指示を受け取ったWDT103は、カウント値をリセットして、新しく0からカウントを開始する。図2に示すように、カウント値は時間間隔C1、C2、C3でリセットされるため、カウント値が閾値に達することはない。このとき、時間間隔を、例えば、mミリ秒オーダに設定する。アプリケーション部106は、情報処理装置100が正常に稼動しているときは、設定された時間間隔でリセット指示を出力することができる。しかし、情報処理装置100が処理を続行できないような異常状態に陥った場合は、アプリケーション部106が、リセット指示を出力することができなくなる。その結果、カウント値が閾値をオーバし、WDT103はCPU101に対して、例外異常状態発生の割り込みを出力する。本実施の形態では、このWDT103を利用して微細なタイムスタンプを取得する。図3は、本実施の形態の時刻更新処理部108の動作手順を示す図である。時刻更新処理部108は、アプリケーション部106がリセット指示を出力する際に起動する。ステップS01において、時刻更新処理部108はRTC102から実時間RTC値を取得する。そして、取得したRTC値を内部変数のTnに代入する。ステップS02において、取得したRTC値Tnと過去の所定時に取得したRTC値Tとが等しいかどうかを調べる。ここでRTC値は、最小単位が百ミリ秒~秒である。従って、WDT103が取り扱うμ秒単位でのカウント値とはオーダが異なる。このため、RTC値の最小単位が桁上がりを生ずるまでには、時刻更新処理部108が複数回起動する。取得したRTC値Tnと過去の所定時に取得したRTC値Tとが等しくない場合S02No、Tを今回取得したRTC値Tnで更新する。即ち、RTC値の最小単位が桁上がりを生じた場合はその最新のRTC値を格納する。そして、累積カウント値Cを0クリアする。取得したRTC値Tnと過去の所定時に取得したRTC値Tとが等しい場合S02Yes、ステップS05において、WDT103がカウントしたカウント値を取得し、その値を内部変数Cnに代入する。このカウント値Cnは図2の時間間隔C1、C2、C3、に対応した値である。そして、ステップS06において、累積カウント値Cにカウント値Cnを加算する。従って、累積カウント値Cは、RTC値の最小単位が桁上がりを生じたことを把握した以降のカウント値の累積値である。RTC値Tは、RTC値の最小単位が桁上がりを生じたことを把握した際のRTC値である。なお、累積カウント値C及びRTC値Tは、メモリ部105に格納され、アプリケーション部106によって適宜参照されることができる。図4は、本実施の形態のタイムスタンプ生成処理部109の動作手順を示す図である。タイムスタンプ生成処理部109は、タイムスタンプを生成する要求が出された際に起動する。例えば、所定のイベントが発生して、そのときのタイムスタンプを取得したい場合にタイムスタンプ生成処理部109を起動する。ステップS11において、WDT103がカウントしたカウント値を取得し、その値を内部変数Cmに代入する。ステップS12において、微細時間補正値tを式1に基いて算出する。t=CCm/周波数式1ここで、周波数は、WDT103の1カウント時間の逆数である。例えば、WDT103は、CPUのクロック周波数でカウントするように構成しても良く、CPUのクロック周波数を分周例えば、1/2、1/3、などした周波数でカウントするように構成しても良い。また、1カウントに要する時間Δtを用いて微細時間補正値tを算出しても良い。式1で求めた微細時間補正値tは、RTC値の最小単位が桁上がりを生じたことを把握してからの経過時間を表している。ステップS13において、タイムスタンプ値Tsを式2に基いて算出する。Ts=Tt式2この式2によれば、タイムスタンプ値は、WDT103が取り扱うμ秒単位での値として表される。第2の実施の形態第2の実施の形態では、時刻更新処理部の動作手順が第1の実施の形態と異なっている。従って、第1の実施の形態と同一の部位には同一の符号を付して、その詳細の説明は省略する。第1の実施の形態では、時刻更新処理部108はアプリケーション部106がリセット指示を出力する際に起動する。従って、RTC値の最小単位が桁上がりを生じたタイミングとは正確には一致していない。しかし、第1の実施の形態で算出したタイムスタンプの精度は、従来のRTC値によるタイムスタンプの精度に比べるとオーダが異なるほど格段に改善されているため、適用対象によっては十分な精度を確保している。第2の実施の形態では、更にタイムスタンプの精度を向上させる。第2の実施の形態では、時刻更新処理部108は、時刻更新処理部108a及び時刻更新処理部108bで構成される。図5は、第2の実施の形態の時刻更新処理部108aの動作手順を示す図である。時刻更新処理部108aは、RTC値の最小単位が桁上がりを生じた際に起動する。ステップS21において、時刻更新処理部108aはRTC102から実時間RTC値を取得する。そして、取得したRTC値を内部変数のTnに代入する。ステップS22において、取得したRTC値Tnを前回RTC値の最小単位が桁上がりを生じた時に取得したRTC値Tに代入する。ステップS23において、累積カウント値Cを0クリアする。ステップS24において、WDT103のカウント値を取得して桁上がり時のカウント値Ckに代入する。なお、累積カウント値C、RTC値T、及び桁上がり時のカウント値Ckは、メモリ部105に格納され、アプリケーション部106によって適宜参照されることができる。図6は、第2の実施の形態の時刻更新処理部108bの動作手順を示す図である。時刻更新処理部108bは、アプリケーション部106がサイクリックに起動してリセット指示を出力する際に起動する。ステップS25において、時刻更新処理部108bは、WDT103がカウントしたカウント値を取得し、その値を内部変数Cnに代入する。このカウント値Cnは図2の時間間隔C1、C2、C3、に対応した値である。そして、ステップS26において、累積カウント値Cにカウント値Cnを加算し、さらに桁上がり時のカウント値Ckを減算する。従って、累積カウント値Cは、RTC値の最小単位が桁上がりを生じた以降のカウント値の累積値である。ステップS27において、桁上がり時のカウント値Ckを0クリアする。なお、累積カウント値C、RTC値T、及び桁上がり時のカウント値Ckは、メモリ部105に格納され、アプリケーション部106によって適宜参照されることができる。なお、第2の実施の形態のタイムスタンプ処理部の動作は、第1の実施の形態のタイムスタンプ処理部の動作と同じであるため、その詳細の説明は省略する。第2の実施の形態によれば、RTC102から最小桁の桁上がり信号を入力する必要があるが、RTC102を高精度のものに更新する必要はないため、安価に高精度のタイムスタンプを取得することができる。なお、上述の各実施の形態で説明した機能は、ハードウェアを用いて構成するに留まらず、ソフトウェアを用いて各機能を記載したプログラムをコンピュータに読み込ませて実現することもできる。また、各機能は、適宜ソフトウェア、ハードウェアのいずれかを選択して構成するものであっても良い。尚、本発明は、上記実施形態そのままに限定されるものではなく、実施段階ではその要旨を逸脱しない範囲で構成要素を変形して具体化できる。上記実施形態に開示されている複数の構成要素の適宜な組み合せにより種々の発明を形成できる。例えば、実施形態に示される全構成要素から幾つかの構成要素を削除してもよい。更に、異なる実施形態に亘る構成要素を適宜組み合せてもよい。