JP7063000B2 - 時刻設定装置、時刻更新方法及びプログラム - Google Patents

Description

本発明は、時刻設定装置、時刻更新方法及びプログラムに関する。

ＧＰＳ（Global Positioning System）衛星から電波信号（衛星信号）を受信する、受信部（レシーバ）を備える装置は、ＧＰＳ衛星から受信した衛星信号に含まれる、衛星時刻信号を利用して、当該装置の時刻を設定できる。

特許文献１においては、ＧＰＳ衛星のＧＰＳ時刻と、ＵＴＣ（Coordinated Universal Time; Universal Time, Coordinated）時刻（世界協定時）との差を、予め算出し、保持する技術が記載されている。そして、特許文献１に記載された技術においては、算出した差を利用して、ＵＴＣ時刻を修正する技術が記載されている。

特開２００９－１４５３１８号公報

なお、上記先行技術文献の開示を、本書に引用をもって繰り込むものとする。以下の分析は、本発明の観点からなされたものである。

装置がＧＰＳ衛星から衛星信号を受信する場合、当該装置は、所定の時間間隔で、閏秒に関する情報（閏秒情報）を取得可能である。

ここで、装置がＧＰＳ衛星から、衛星時刻情報を含む衛星信号を受信する場合、装置は、ＧＰＳ衛星から、１秒間隔で衛星時刻情報を受信可能である。しかし、装置がＧＰＳ衛星から、閏秒に関する情報（閏秒情報）を含む衛星信号を受信する場合、装置は、ＧＰＳ衛星から、１２．５分間隔で、閏秒情報を含む衛星信号を受信することになる。そのため、装置が最新の閏秒情報を受信できていないタイミングにおいて、閏秒が発生した場合、装置は、最新の閏秒を反映して、ＵＴＣ（Coordinated Universal Time; Universal Time, Coordinated）時刻（世界協定時）を算出できない。その場合、装置は、最新の閏秒情報を含む衛星信号を受信するまで、適切にＵＴＣ時刻を算出できない。

特許文献１に記載された技術においては、装置が最新の閏秒情報を受信できていないタイミングにおいて、閏秒が発生した場合、装置は、最新の閏秒を反映して、ＵＴＣ時刻（世界協定時）を算出できない。

そこで、本発明は、閏秒を反映した時刻を、容易且つ適切に、設定及び更新することに貢献する時刻設定装置、時刻更新方法及びプログラムを提供することを目的とする。

本発明の第１の視点によれば、時刻設定装置が提供される。前記時刻設定装置は、衛星時刻情報を含む衛星信号を、第１の時間間隔で衛星から受信し、受信閏秒情報をさらに含む、衛星信号を、前記第１の時間間隔より長い第２の時間間隔で前記衛星から受信する、衛星信号受信部を備える。
さらに、前記時刻設定装置は、累積閏秒と、次回閏秒発生時刻と、次回累積閏秒とを含む、登録閏秒情報を保持する、記憶部を備える。
さらに、前記時刻設定装置は、前記衛星信号受信部が、前記受信閏秒情報を含む衛星信号を受信してから、次の受信閏秒情報を含む衛星信号を受信するまでの間に、閏秒が発生した場合、前記登録閏秒情報を利用して、ＵＴＣ時刻を算出する、時刻算出部を備える。

本発明の第２の視点によれば、時刻更新方法が提供される。前記時刻更新方法は、記憶部を備える時刻設定装置が実行する方法である。
前記時刻更新方法は、衛星時刻情報を含む衛星信号を、第１の時間間隔で衛星から受信し、受信閏秒情報をさらに含む、衛星信号を、前記第１の時間間隔より長い第２の時間間隔で前記衛星から受信する工程を含む。
さらに、前記時刻更新方法は、累積閏秒と、次回閏秒発生時刻と、次回累積閏秒とを含む、登録閏秒情報を、前記記憶部に保持する工程を含む。
さらに、前記時刻更新方法は、前記受信閏秒情報を含む衛星信号が受信されてから、次の受信閏秒情報を含む衛星信号が受信されるまでの間に、閏秒が発生した場合、前記登録閏秒情報を利用して、ＵＴＣ時刻を算出する工程を含む。
なお、本方法は、衛星時刻情報を受信する時刻設定装置という、特定の機械に結び付けられている。

本発明の第３の視点によれば、プログラムが提供される。前記プログラムは、記憶部を備える時刻設定装置を制御するコンピュータに実行させるプログラムである。
前記プログラムは、衛星時刻情報を含む衛星信号を、第１の時間間隔で衛星から受信し、受信閏秒情報をさらに含む、衛星信号を、前記第１の時間間隔より長い第２の時間間隔で前記衛星から受信する処理を、前記コンピュータに実行させる。
さらに、前記プログラムは、累積閏秒と、次回閏秒発生時刻と、次回累積閏秒とを含む、登録閏秒情報を、前記記憶部に保持する処理を、前記コンピュータに実行させる。
さらに、前記プログラムは、前記受信閏秒情報を含む衛星信号が受信されてから、次の受信閏秒情報を含む衛星信号が受信されるまでの間に、閏秒が発生した場合、前記登録閏秒情報を利用して、ＵＴＣ時刻を算出する処理を、前記コンピュータに実行させる。
なお、これらのプログラムは、コンピュータが読み取り可能な記憶媒体に記録することができる。記憶媒体は、半導体メモリ、ハードディスク、磁気記録媒体、光記録媒体等の非トランジェント（non-transient）なものとすることができる。本発明は、コンピュータプログラム製品として具現することも可能である。

本発明の各視点によれば、閏秒を反映した時刻を、容易且つ適切に、設定及び更新することに貢献する時刻設定装置、時刻更新方法及びプログラムが提供される。

一実施形態の概要を説明するための図である。 第１の実施形態に係る時刻設定装置１の内部構成の一例を示すブロック図である。 登録閏秒情報３２の構成の一例を示す図である。 時刻設定部４０の内部構成の一例を示すブロック図である。 設定ファイル取得処理の一例を示すシーケンス図である。 ＵＴＣ時刻を設定する処理の一例をシーケンス図である。 ＵＴＣ時刻設定処理の一例を示すフローチャートである。 ＵＴＣ時刻を設定する処理の一例を示すシーケンス図である。

初めに、図１を用いて一実施形態の概要について説明する。なお、この概要に付記した図面参照符号は、理解を助けるための一例として各要素に便宜上付記したものであり、この概要の記載はなんらの限定を意図するものではない。また、各ブロック図のブロック間の接続線は、双方向及び単方向の双方を含む。一方向矢印については、主たる信号（データ）の流れを模式的に示すものであり、双方向性を排除するものではない。

上記の通り、閏秒を反映した時刻を、容易且つ適切に、設定及び更新することに貢献する時刻設定装置が望まれる。

そこで、一例として、図１に示す時刻設定装置１０００が提供される。時刻設定装置１０００は、衛星信号受信部１００１と、記憶部１００２と、時刻算出部１００３とを備える。

衛星信号受信部１００１は、衛星時刻情報を含む衛星信号を、第１の時間間隔で衛星から受信し、受信閏秒情報をさらに含む、衛星信号を、第１の時間間隔より長い第２の時間間隔で衛星から受信する。受信閏秒情報とは、衛星から送信される、閏秒に関する情報である。

記憶部１００２は、累積閏秒１０１１と、次回閏秒発生時刻１０１２と、次回累積閏秒１０１３とを含む、登録閏秒情報１０１０を保持する。累積閏秒１０１１は、当該累積閏秒１０１１を登録した時点、又は取得した時点までに発生した、閏秒を積算した秒数である。次回閏秒発生時刻１０１２は、累積閏秒１０１１を登録した時点又は取得した時点以後に、次回の閏秒が発生する時刻である。次回累積閏秒１０１３は、次回の閏秒が発生した後に、発生する閏秒を積算した秒数である。

時刻算出部１００３は、衛星信号受信部１００１が、受信閏秒情報を含む衛星信号を受信してから、次の受信閏秒情報を含む衛星信号を受信するまでの間に、閏秒が発生した場合、登録閏秒情報１０１０を利用して、ＵＴＣ時刻を算出する。

従って、時刻設定装置１０００は、受信した衛星信号が、閏秒に関する情報（閏秒情報）を含まない場合に、閏秒が発生した場合であっても、適切に閏秒を反映して、ＵＴＣ時刻を設定できる。従って、時刻設定装置１０００は、閏秒を反映した時刻を、容易且つ適切に、設定及び更新することに貢献する。

［第１の実施形態］
第１の実施形態について、図面を用いて詳細に説明する。

図２は、本実施形態に係る時刻設定装置１の内部構成の一例を示すブロック図である。本実施形態に係る時刻設定装置１は、制御部１０と、衛星信号受信部２０と、記憶部３０とを含んで構成される。図２は、簡単のため、本実施形態に係る時刻設定装置１に関係するモジュールを主に記載する。時刻設定装置１は、図示しないハードウェア、ソフトウェアを含んでもよいことは勿論である。

制御部１０は、時刻設定装置１の全体を制御すると共に、時刻設定装置１の図２に示す各部を制御する。例えば、時刻設定装置１は、ＣＰＵ（Central Processing Unit）を用いて実現可能である。

制御部１０は、時刻設定部４０を含んで構成される。時刻設定部４０は、時刻設定装置の時刻を制御する。時刻設定部４０の詳細については、後述する。

衛星信号受信部２０は、衛星から時刻情報（衛星時刻情報）を含む、衛星信号を受信する。具体的には、衛星信号受信部２０は、衛星時刻情報を含む衛星信号を、第１の時間間隔で衛星から受信し、受信閏秒情報をさらに含む、衛星信号を、前記第１の時間間隔より長い第２の時間間隔で衛星から受信する。例えば、衛星信号は、ＧＰＳ（Global Positioning System）信号であってもよい。

第１の時間間隔は１秒間隔であってもよい。また、第２の時間間隔は、１２．５分間隔であってもよい。

記憶部３０は、時刻設定装置１の動作に必要な情報を記憶する。記憶部３０は、磁気ディスク装置や光ディスク装置、半導体メモリによって実現される。

記憶部３０は、累積閏秒と、次回閏秒発生時刻と、次回累積閏秒とを含む、登録閏秒情報を保持する。具体的には、記憶部３０は、設定ファイル３１を記憶する。設定ファイル３１は、登録閏秒情報３２を含んで構成される。

図３は、登録閏秒情報３２の構成の一例を示す図である。登録閏秒情報３２は、累積閏秒３２１と、次回閏秒発生時刻３２２と、次回累積閏秒３２３とを含んで構成される。

次に、時刻設定部４０について詳細に説明する。

図４は、時刻設定部４０の内部構成の一例を示すブロック図である。時刻設定部４０は、設定ファイル取得部４０１と、時刻算出部４０２と、閏秒情報更新部４０３と、衛星信号管理部４０４と、時刻設定制御部４０５とを含んで構成される。

図４に示す各モジュールは、時刻設定装置１に搭載されたコンピュータに、そのハードウェアを用いて、時刻設定装置１の処理を実行させるコンピュータプログラムにより実現しても良い。

設定ファイル取得部４０１は、記憶部３０から設定ファイル３１を読み出し、設定ファイル３１を取得する。例えば、時刻設定装置１が起動した際に、設定ファイル取得部４０１は、設定ファイル３１を取得してもよい。

時刻算出部４０２は、衛星信号受信部２０が、受信閏秒情報を含む衛星信号を受信してから、次の受信閏秒情報を含む衛星信号を受信するまでの間に、閏秒が発生した場合、登録閏秒情報を利用して、ＵＴＣ時刻を算出する。

時刻算出部４０２は、登録閏秒情報３２に含まれる次回閏秒発生時刻、次回累積閏秒のうち、少なくとも一方と、累積閏秒と、衛星時刻情報とを利用して、ＵＴＣ時刻を算出する。

閏秒情報更新部４０３は、登録閏秒情報３２を更新する。閏秒情報更新部４０３は、衛星信号受信部２０が、受信閏秒情報を含む衛星信号を受信した場合、受信閏秒情報と登録閏秒情報との差分に基づいて、登録閏秒情報を更新するか否かを判断する。

衛星信号管理部４０４は、衛星信号受信部２０が受信した衛星信号を取得する。さらに、衛星信号管理部４０４は、衛星信号受信部２０が受信した衛星信号を解析する。具体的には、衛星信号管理部４０４は、取得した衛星信号が、受信閏秒情報を含むか否かを判断する。

時刻設定制御部４０５は、設定ファイル取得部４０１、時刻算出部４０２、閏秒情報更新部４０３、衛星信号管理部４０４を制御する。

次に、時刻設定装置１の動作について詳細に説明する。

まず、設定ファイル３１を取得する処理（以下、設定ファイル取得処理と呼ぶ）について説明する。

図５は、設定ファイル取得処理の一例を示すシーケンス図である。

ステップＡ１において、時刻設定制御部４０５は、設定ファイル取得部４０１に、設定ファイル３１の取得を要求する。ステップＡ２において、設定ファイル取得部４０１は、記憶部３０に、設定ファイル３１を要求する。ステップＡ３において、記憶部３０は、設定ファイル取得部４０１に、設定ファイル３１を応答する。ステップＡ４において、設定ファイル取得部４０１は、設定ファイル３１から、登録閏秒情報３２を取得する。ステップＡ５において、設定ファイル取得部４０１は、時刻設定制御部４０５に設定ファイルの取得完了を応答する。そして、時刻設定装置１は、設定ファイル取得処理を終了する。

次に、受信された衛星信号が受信閏秒情報を含まない場合に、ＵＴＣ時刻を設定する処理について説明する。

図６は、受信された衛星信号が受信閏秒情報を含まない場合に、ＵＴＣ時刻を設定する処理の一例を示すシーケンス図である。

ステップＳ１において、衛星信号受信部２０は、受信した衛星信号を、衛星信号管理部４０４に送信する。衛星信号が受信閏秒情報を含まない場合、衛星信号管理部４０４は、ＵＴＣ時刻の設定を、閏秒情報更新部４０３に要求する（ステップＳ２）。ステップＳ３において、時刻設定部４０は、ＵＴＣ時刻を設定する処理（以下、ＵＴＣ時刻設定処理と呼ぶ）を実行する。そして、閏秒情報更新部４０３は、衛星信号管理部４０４に、ＵＴＣ時刻の設定完了を応答する。

図７を参照しながら、ＵＴＣ時刻設定処理について詳細に説明する。

図７は、ＵＴＣ時刻設定処理の一例を示すフローチャートである。

ステップＳ２０１において、時刻算出部４０２は、衛星信号管理部４０４から衛星時刻情報を取得する。具体的には、時刻算出部４０２は、衛星信号管理部４０４に衛星時刻情報を要求する。衛星信号管理部４０４は、衛星信号受信部２０が受信した衛星信号から、衛星時刻情報を取得する。そして、衛星信号管理部４０４は、取得した衛星時刻情報を、時刻算出部４０２に通知する。

ステップＳ２０２において、時刻算出部４０２は、登録閏秒情報を取得する。具体的には、時刻算出部４０２は、時刻設定制御部４０５に、図５に示す設定ファイル取得処理の実行を要求する。設定ファイル取得処理は上記の通りであるため、詳細な説明は省略する。設定ファイル取得部４０１は、取得した登録閏秒情報３２を、時刻算出部４０２に通知する。

ステップＳ２０３において、時刻算出部４０２は、ＵＴＣ時刻を算出する。具体的には、時刻算出部４０２は、受信閏秒情報と登録閏秒情報３２とが同一である場合、衛星時刻情報と、登録閏秒情報３２に含まれる累積閏秒３２１とを用いて、ＵＴＣ時刻を算出する。

ステップＳ２０４において、時刻算出部４０２が算出したＵＴＣ時刻が、次回閏秒発生時刻３２２以降であるか否かを、閏秒情報更新部４０３は判断する。一方、時刻算出部４０２が算出したＵＴＣ時刻が、次回閏秒発生時刻３２２未満である場合、時刻算出部４０２は、ステップＳ２０３の処理において算出したＵＴＣ時刻を、時刻設定装置１に設定する（ステップＳ２０８）。そして、時刻設定部４０は、ＵＴＣ時刻設定処理を終了する。

一方、時刻算出部４０２が算出したＵＴＣ時刻が、次回閏秒発生時刻３２２以降である場合、ステップＳ２０５に遷移する。

ステップＳ２０５において、累積閏秒３２１と次回累積閏秒３２３とが同一であるか否かを、閏秒情報更新部４０３は判断する。累積閏秒３２１と次回累積閏秒３２３とが同一である場合（ステップＳ２０５のＹｅｓ分岐）には、時刻算出部４０２は、ステップＳ２０３の処理において算出したＵＴＣ時刻を、時刻設定装置１に設定する（ステップＳ２０８）。つまり、時刻算出部４０２は、算出したＵＴＣ時刻が、次回閏秒発生時刻３２２以降である場合であって、且つ累積閏秒３２１と次回累積閏秒３２３とが同一である場合、算出したＵＴＣ時刻を、時刻設定装置１に設定する。

一方、累積閏秒３２１と次回累積閏秒３２３とが同一ではない場合（ステップＳ２０５のＮｏ分岐）には、閏秒情報更新部４０３は、次回累積閏秒３２３と累積閏秒３２１との差分を、累積閏秒差分として算出する（ステップＳ２０６）。

ステップＳ２０７において、時刻算出部４０２は、累積閏秒差分を反映したＵＴＣ時刻を算出する。そして、時刻算出部４０２は、ステップＳ２０７の処理において算出したＵＴＣ時刻を、時刻設定装置１に設定する（ステップＳ２０８）。そして、時刻設定部４０２は、ＵＴＣ時刻設定処理を終了する。

つまり、閏秒情報更新部４０３は、時刻算出部４０２が算出したＵＴＣ時刻が、累積閏秒３２１以降である場合であって、且つ累積閏秒３２１と次回累積閏秒３２３とが異なる場合、累積閏秒３２１と次回累積閏秒３２３との差分を、累積閏秒差分として算出する。そして、時刻算出部４０２は、累積閏秒差分を反映したＵＴＣ時刻を算出し、算出したＵＴＣ時刻を、時刻設定装置１に設定する。

次に、受信された衛星信号が受信閏秒情報を含む場合に、ＵＴＣ時刻を設定する処理について説明する。

図８は、受信された衛星信号が受信閏秒情報を含む場合に、ＵＴＣ時刻を設定する処理の一例を示すシーケンス図である。

ステップＳ１において、衛星信号受信部２０は、受信した衛星信号を、衛星信号管理部４０４に送信する。衛星信号が受信閏秒情報を含む場合、衛星信号管理部４０４は、受信閏秒情報を、閏秒情報更新部４０３に通知する（ステップＳ１０１）。閏秒情報更新部４０３は、設定ファイル取得処理を実行する（ステップＳ１０２）。具体的には、閏秒情報更新部４０３は、時刻設定制御部４０５に、図５に示す設定ファイル取得処理の実行を要求する。設定ファイル取得処理の詳細は上記の通りであるため、詳細な説明は省略する。

設定ファイル取得部４０１が登録閏秒情報３２を取得した場合、閏秒情報更新部４０３は、受信閏秒情報と登録閏秒情報３２とを比較する。受信閏秒情報と登録閏秒情報３２とが同一である場合には、ステップＳ１０４に遷移する。

一方、受信閏秒情報と登録閏秒情報３２とが異なる場合には、閏秒情報更新部４０３は、受信閏秒情報を、登録閏秒情報として設定する（ステップＳ１０３）。つまり、閏秒情報更新部４０３は、衛星信号受信部２０が、受信閏秒情報を含む衛星信号を受信した場合であって、且つ受信閏秒情報と登録閏秒情報３２とが異なる場合、受信閏秒情報を、登録閏秒情報３２として、記憶部３０に登録する。

ステップＳ１０４において、時刻設定部４０は、図７に示すＵＴＣ時刻設定処理を実行する。ＵＴＣ時刻設定処理の詳細は上記の通りであるため、詳細な説明は省略する。

［変形例１］
本実施形態に係る時刻設定装置１の変形例１として、時刻設定装置１が衛星と接続する前に、時刻設定装置１のユーザ（例えば、時刻設定装置１を運用するオペレータ等）が、設定ファイル３１を更新するときに、次回閏秒発生時刻３２２と次回累積閏秒３２３とを更新してもよい。

［変形例２］
本実施形態に係る時刻設定装置１の変形例２として、衛星信号受信部２０が受信するが衛星信号は、ＰＴＰ（Precision Time Protocol）信号であってもよい。

以上のように、本実施形態に係る時刻設定装置１は、累積閏秒３２１と次回閏秒発生時刻３２２と次回累積閏秒３２３とを含む、最新の閏秒に関する情報を、登録閏秒情報３２として保持する。時刻設定装置１は、登録閏秒情報３２を保持することで、受信した衛星信号が、閏秒に関する情報（閏秒情報）を含まない場合に、閏秒が発生した場合であっても、適切に閏秒を反映して、ＵＴＣ時刻を設定できる。従って、本実施形態に係る時刻設定装置１は、閏秒を反映した時刻を、容易且つ適切に、設定及び更新することに貢献する。

また、本実施形態に係る時刻設定装置１は、衛星から発信される、最新の閏秒に関する情報（閏秒情報）を保持する。従って、本実施形態に係る時刻設定装置１は、最新の閏秒を反映して、時刻を設定及び更新することに貢献する。

また、本実施形態に係る時刻設定装置１は、衛星から閏秒に関する情報（閏秒情報）を受信するまで待つ必要がない。閏秒を反映した時刻を、迅速且つ適切に、設定及び更新することに貢献する。

なお、上記の特許文献の開示を、本書に引用をもって繰り込むものとする。本発明の全開示（請求の範囲を含む）の枠内において、さらにその基本的技術思想に基づいて、実施形態の変更・調整が可能である。また、本発明の全開示の枠内において種々の開示要素（各請求項の各要素、各実施形態の各要素、各図面の各要素等を含む）の多様な組み合わせ、ないし、選択が可能である。すなわち、本発明は、請求の範囲を含む全開示、技術的思想にしたがって当業者であればなし得るであろう各種変形、修正を含むことは勿論である。特に、本書に記載した数値範囲については、当該範囲内に含まれる任意の数値ないし小範囲が、別段の記載のない場合でも具体的に記載されているものと解釈されるべきである。

１、１０００ 時刻設定装置
１０ 制御部
２０、１００１ 衛星信号受信部
３０、１００２ 記憶部
３１ 設定ファイル
３２ 登録閏秒情報
４０ 時刻設定部
３２１、１０１１ 累積閏秒
３２２、１０１２ 次回閏秒発生時刻
３２３、１０１３ 次回累積閏秒
４０１ 設定ファイル取得部
４０２ 時刻算出部
４０３ 閏秒情報更新部
４０４ 衛星信号管理部
４０５ 時刻設定制御部
１００３ 時刻算出部

Claims (10)

1. 衛星時刻情報を含む衛星信号を、第１の時間間隔で衛星から受信し、受信閏秒情報をさらに含む衛星信号を、前記第１の時間間隔より長い第２の時間間隔で前記衛星から受信する、衛星信号受信部と、
   累積閏秒と、次回閏秒発生時刻と、次回累積閏秒と、を含む、登録閏秒情報を保持する、記憶部と、
   前記衛星信号受信部が、前記受信閏秒情報を含む衛星信号を受信してから、次の受信閏秒情報を含む衛星信号を受信するまでの間に、ＵＴＣ時刻が設定される場合、前記登録閏秒情報を利用して、ＵＴＣ時刻を算出する、時刻算出部と、
   前記衛星信号受信部が、前記受信閏秒情報を含む衛星信号を受信した場合、前記受信閏秒情報と前記登録閏秒情報との差分に基づいて、前記登録閏秒情報を更新するか否かを判断する、閏秒情報更新部と、
   を備える時刻設定装置。
2. 前記時刻算出部が、前記登録閏秒情報に含まれる前記次回閏秒発生時刻、前記次回累積閏秒のうち、少なくとも一方と、前記累積閏秒と、前記衛星時刻情報と、を利用して、ＵＴＣ時刻を算出する、請求項１に記載の時刻設定装置。
3. 前記閏秒情報更新部は、前記衛星信号受信部が、前記受信閏秒情報を含む衛星信号を受信した場合であって、且つ前記受信閏秒情報と前記登録閏秒情報とが異なる場合、前記受信閏秒情報を、前記登録閏秒情報として、記憶部に登録する、請求項１又は２に記載の時刻設定装置。
4. 前記閏秒情報更新部は、前記時刻算出部が算出したＵＴＣ時刻が、前記登録閏秒情報に含まれる前記次回閏秒発生時刻以降である場合であって、且つ前記登録閏秒情報に含まれる、前記累積閏秒と前記次回累積閏秒とが異なる場合、前記累積閏秒と前記次回累積閏秒との差分を、累積閏秒差分として算出し、
   前記時刻算出部は、前記累積閏秒差分を反映したＵＴＣ時刻を算出し、算出したＵＴＣ時刻を、自時刻設定装置に設定する、請求項１乃至３のいずれか一項に記載の時刻設定装置。
5. 前記時刻算出部は、算出したＵＴＣ時刻が、前記登録閏秒情報に含まれる前記次回閏秒発生時刻以降である場合であって、且つ前記登録閏秒情報に含まれる、前記累積閏秒と前記次回累積閏秒とが同一である場合、算出したＵＴＣ時刻を、自時刻設定装置に設定する、請求項１乃至３のいずれか一項に記載の時刻設定装置。
6. 前記時刻算出部は、算出したＵＴＣ時刻が、前記登録閏秒情報に含まれる前記次回閏秒発生時刻未満である場合、算出したＵＴＣ時刻を、自時刻設定装置に設定する、請求項１乃至３のいずれか一項に記載の時刻設定装置。
7. 前記時刻算出部は、前記衛星信号受信部が、前記受信閏秒情報を含む衛星信号を受信した場合、前記登録閏秒情報を利用して、ＵＴＣ時刻を算出する、請求項１乃至６のいずれか一項に記載の時刻設定装置。
8. 前記ＵＴＣ時刻が設定される場合とは、前記衛星信号受信部が、前記受信閏秒情報を含む衛星信号を受信してから、次の受信閏秒情報を含む衛星信号を受信するまでの間に、前記衛星時刻情報を含む衛星信号を受信した場合である、請求項１乃至７のいずれか一項に記載の時刻設定装置。
9. 記憶部を備える時刻設定装置が実行する時刻更新方法であって、
   衛星時刻情報を含む衛星信号を、第１の時間間隔で衛星から受信し、受信閏秒情報をさらに含む衛星信号を、前記第１の時間間隔より長い第２の時間間隔で前記衛星から受信する工程と、
   累積閏秒と、次回閏秒発生時刻と、次回累積閏秒と、を含む、登録閏秒情報を、前記記憶部に保持する工程と、
   前記受信閏秒情報を含む衛星信号が受信されてから、次の受信閏秒情報を含む衛星信号が受信されるまでの間に、ＵＴＣ時刻が設定される場合、前記登録閏秒情報を利用して、ＵＴＣ時刻を算出する工程と、
   衛星信号受信部が、前記受信閏秒情報を含む衛星信号を受信した場合、前記受信閏秒情報と前記登録閏秒情報との差分に基づいて、前記登録閏秒情報を更新するか否かを判断する工程と、
   を含む時刻更新方法。
10. 記憶部を備える時刻設定装置を制御するコンピュータに実行させるプログラムであって、
    衛星時刻情報を含む衛星信号を、第１の時間間隔で衛星から受信し、受信閏秒情報をさらに含む衛星信号を、前記第１の時間間隔より長い第２の時間間隔で前記衛星から受信する処理と、
    累積閏秒と、次回閏秒発生時刻と、次回累積閏秒と、を含む、登録閏秒情報を、前記記憶部に保持する処理と、
    前記受信閏秒情報を含む衛星信号が受信されてから、次の受信閏秒情報を含む衛星信号が受信されるまでの間に、ＵＴＣ時刻が設定される場合、前記登録閏秒情報を利用して、ＵＴＣ時刻を算出する処理と、
    衛星信号受信部が、前記受信閏秒情報を含む衛星信号を受信した場合、前記受信閏秒情報と前記登録閏秒情報との差分に基づいて、前記登録閏秒情報を更新するか否かを判断する処理と、
    を前記コンピュータに実行させるプログラム。

Images