JP2020109932A - 機能的に安全な接続識別の方法 - Google Patents

Abstract

【課題】データ交換のための機能的に安全な接続識別を可能とするデータ交換のための機能的に安全な方法を提供する。【解決手段】方法は、ソースデータサービスＱに識別子ＩＤＱが割り当てられ、ソースデータサービスで送信すべきテレグラムＴ１〜Ｔ３にタイムスタンプが割り当てられ、シンクデータサービスＳで到着したテレグラムＴ２のタイムスタンプＴＳＱＴ２が、先行のテレグラムＴ１のタイムスタンプＴＳＱＴ１よりも古いか、到着したテレグラムＴ２が、所定の監視時間Ｚ１内に到着したか、をチェックし、ローカルタイムスタンプＴＳＳｉを到着したテレグラムＴ２に関連するタイムスタンプ（ＴＳＱＴ２）と比較し、所定の継続時間ＣＴ１を超えないかをチェックする。シンクデータサービスに到着したテレグラムは、タイムスタンプが、最後に有効であるとみなされたテレグラムのタイムスタンプよりも値が大きいという条件が更に満たされた場合に有効である。【選択図】図１

Description

本発明は、通信システムにおける通信チャネルを介してソースデータサービスとシンクデータサービスとの間でテレグラムを用いたデータ交換を行うための機能的に安全な接続識別の方法に関する。ここでは、ソースデータサービスには、一意の識別子が割り当てられ、ソースデータサービスにおいて送信すべきテレグラムに、それぞれのタイムスタンプが割り当てられる。

本発明は、特にセキュリティ関連の産業プロセス自動化又は製造自動化におけるフィールドデバイス、制御コンポーネント、及び同様の機器間の通信に使用される、フェールセーフ通信の技術分野に関する。

そのようなフェールセーフ通信（Ｆ通信とも呼ぶ）は、特にセキュリティ関連用途に使用され、特に、通信におけるエラーが人、動物、又は財産を危険にさらすおそれがある場合に使用される。ポイントツーポイント接続（Punkt-zu-Punkt-Verbindung：２点間接続）におけるＰＲＯＦＩｓａｆｅを介したセキュリティ関連通信接続が知られている。しかしながら、先進的な通信技術には、ポイントツーポイント接続では十分にサポートすることができないパブリッシャー／サブスクライバーメカニズム、ブロードキャストメカニズム、又はマルチキャストメカニズム等のコンセプトもあるため、ここでは解決策が模索される。

現在既知の従来技術によれば、フェールセーフ通信（ＰＲＯＦＩｓａｆｅ）の分野において、ポイントツーポイント接続が確立される。このポイントツーポイント接続を介して、少なくとも応答テレグラムからなる二方向のデータが送られることが常である。ＰＲＯＦＩｓａｆｅ等のプロトコルでは、応答テレグラムは、ペイロードデータ（Nutzdaten）を含むこともできる。従来の二方向通信の相互作用によって、双方の接続データは互いに監視されるのが常であった。

ここで、本発明の課題は、好ましくは、例えば、パブリッシャー／サブスクライバー等の通信コンセプトを使用することができる、データ交換のための機能的に安全な接続識別の方法を提供することである。

最初に述べた方法に関して、上記課題は、
シンクデータサービスにおいて、今しがた到着したテレグラムのタイムスタンプが、先行のテレグラムのタイムスタンプよりも古いかをチェックし、先行のテレグラムの到着とともに、監視カウンターが始動し、さらに、今しがた到着したテレグラムが、所定の監視時間内に到着したかをチェックし、
さらに、シンクデータサービスにおいて、ローカルタイムベースのローカルタイムスタンプを、今しがた到着したテレグラムに関連するタイムスタンプと比較し、比較による結果の差が、所定の継続時間を超えないかをチェックし、
このとき、シンクデータサービスに到着したテレグラムは、到着したテレグラムのタイムスタンプが、最後に有効であるとみなされたテレグラムのタイムスタンプよりも値が大きいという条件が更に満たされた場合にのみ有効であるとみなされ、
最後のステップにおいて、先行のチェックの結果が真（positiv）である場合、データが有効であることが示され、そうでない場合、フェールセーフ応答が作動されるということによって、解決される。

有利には、ここで、リターンチャネル（Rueckkanal：ueはuウムラウト）（応答）をもはや必要としない、セーフティプロトコル及びセーフティ通信機能に対するコンセプトが提供される解決策が示される。ここでは、パブリッシャー／サブスクライバー、又はブロードキャスト動作、又は同様の通信方法に対して有利な方法を使用することができる。セーフティプロトコル層は、常に一方向に機能し、リターンチャネル又は応答をもはや必要としない。このことは、受信側が全てのセキュリティ関連情報を、送信されたテレグラムを介して受け取らなければならないことを意味する。送信側は、受信側が何かを受信したか否かについて、もはや知る必要はない。送信側は、単にデータソースとして機能するのみである。

本発明によれば、この通信方法では、応答テレグラムは不要になり、したがって、ポイントツーポイント接続に基づかない通信方法が可能である。この場合、このフェールセーフ通信方法及び接続識別によって、セキュリティ関連接続のための自由な通信方法を使用することが可能であるため、このフェールセーフアプリケーションは、クライアントシステム（Kundenanlagen）において本質的により柔軟に実現することができる。

したがって、フェールセーフ接続識別の方法は、非常に単純なものに抑えられるため、ソフトウェア機能においてより少ないセーフティオーバーヘッド（Safety-Overhead）が実現され、これは、良好なランタイムパフォーマンス（RuntimePerformance）につながる。応答テレグラムに起因した複雑な状態機械及びそれに関連する相互確認を必要とする従来のセーフティプロトコルと比較して、本質的に煩雑なプロトコルが実装される。この場合、送信される「セキュリティ」テレグラム自体が、セキュリティテレグラムに含まれるデータに基づいて、データシンク機能に対するタイムスタンプを介した論理的確認を保証することが有利である。

さらに、一意の識別子によって、シンクデータサービスの正しいソースデータサービスへの割当てが保証され、このために、識別子が、ソースデータサービス及びシンクデータサービスの双方において既知であり、シンクデータサービスは、データが所望のソースデータサービスに由来するものか否かをチェックする必要がある場合も有利であると考えられる。

時間同期のために、ローカルタイムスタンプを確定するシンクデータサービスにおけるローカルタイムベースが、セキュリティ関連タイムサーバーを介して、ソースデータサービスにおけるタイムベースと同期されることが有利である。本方法は、自動化デバイス間の通信が機能的に安全に設計され、セキュリティプロトコルが用いられるパブリッシャー／サブスクライバー、ブロードキャスト、又はマルチタスクメカニズムに従って動作し、自動化システムにおいて使用されることが有利である。

同様に、最初に述べた課題は、ソースデータサービスが、それぞれのシンクデータサービスを備える自動化デバイスに対してテレグラムを提供する、自動化制御装置を備える自動化システムであって、
自動化制御装置は、ソースデータサービスに一意の識別子が割り当てられ、送信すべきテレグラムにそれぞれのタイムスタンプを割り当てる手段を備えるように構成される、自動化システムによって、
自動化デバイスは、チェック手段を備え、チェック手段によって、シンクデータサービスにおいて、今しがた到着したテレグラムのタイムスタンプが、先行のテレグラムのタイムスタンプよりも古いかをチェックし、先行のテレグラムの到着とともに、監視カウンターが始動し、さらに、今しがた到着したテレグラムが、所定の監視時間内に到着したかをチェックし、さらに、シンクデータサービスにおいて、ローカルタイムベースのローカルタイムスタンプを、今しがた到着したテレグラムに関連するタイムスタンプと比較し、比較による結果の差が、所定の継続時間を超えないかをチェックし、
このとき、シンクデータサービスに到着したテレグラムは、到着したテレグラムのタイムスタンプが、最後に有効であるとみなされたテレグラムのタイムスタンプよりも値が大きいという条件が更に満たされた場合にのみ有効であるとみなされ、
最後のステップにおいて、先行のチェックの結果が肯定的である場合、データが有効であることが示され、そうでない場合、フェールセーフ応答が作動されるように構成されることによって解決される。

ここで、そのような自動化システムを用いると、ソースデータサービスとしての自動化制御装置と、自動化デバイスにおける少なくとも１つのシンクデータサービスとの間で、パブリッシャー／サブスクライバー通信方法に従って通信することができ、したがってこの場合、応答メカニズムは不要になる。シンクデータサービス内の機能は、セキュリティテレグラム内に含まれるデータに基づいて、送信されたテレグラムが無効であるか否かを保証する。

また、上記手段は、シンクデータサービスの正しいソースデータサービスへの割当てを保証するように一意の識別子を割り当てるように更に構成され、さらに、チェック手段は、この割当てをチェックするように構成されている場合が更に有利である。

同期のために、ローカルタイムスタンプを確定するシンクデータサービスにおけるローカルタイムベースが、送信タイムスタンプを確定するソースデータサービスにおけるタイムベースと同期されるように、自動化制御装置及び自動化デバイスと接続するセキュリティ関連タイムサーバーが存在する。

要約すると、ソースデータサービスがテレグラムを送信し、シンクデータサービスがこのテレグラム内に含まれるデータを受信したとき、シンクデータサービスは、ソースデータサービスに応答を送る必要がないと言うことができる。ここから、以下のセキュリティ関連の技術的考察が得られる。
ａ）正しいデータソース機能を保証する。
ｂ）データソース機能又は伝送路の不具合を監視する。
ｃ）データを更新する。
ｄ）望ましくない反復シーケンスを監視する。
ｅ）正しい順序を監視する。
ｆ）再起動時にデータをバッファリングする。
ｇ）データの完全性を監視する。

上述の技術的基準のうちの１つに欠陥がある場合、シンクデータサービスはそれを認識し、そこからセキュリティ関連応答を導出することができなければならない（例えば、代替値の出力）。ソースデータサービスは、これらのチェックを保証することはできないが、シンクデータサービスが欠陥を認識することができるように対応するデータを提供しなければならない。ソースデータサービスは、長期間データを提供し、シンクデータサービスは、データが受け取るのに妥当であるか否かを判定する。

ａ）に関して、ソースデータサービスを表す一意のアドレスを用いるのには、例えば、ＵＵＩＤを使用することによって解決することもできる。この場合、このアドレスは、ソース及びシンクにおいて既知でなければならず、シンクは、データが所望のソースに由来するものか否かもチェックする必要がある。

ｂ）及びｃ）に関して、ソースデータサービスにおいて送信すべきテレグラムごとにタイムスタンプが形成され、このタイムスタンプが、シンクデータサービスにおいてチェックされる。このことは、或る特定の監視時間内にタイムスタンプの正の変化が生じることがチェックされることを意味する。監視時間は、ここではアプリケーション固有のものであり、フェールセーフ通信の設定の一部である。ソースデータサービスは、新たなテレグラムの送信ごとに新たなタイムスタンプを付与して送る。タイムスタンプ及び監視時間のチェックによって、データの更新の問題又はソースデータサービス若しくは伝送路の不具合が解消される。

反復シーケンス、古いテレグラム、又は誤った順序でのテレグラムが、シンクデータサービスによって有効として受け取られることがないように、シンクデータサービスは、新たに受信したタイムスタンプが、最後に有効であると認められたタイムスタンプよりも値が大きい場合にのみテレグラムを受け取るように、タイムスタンプを更にチェックしなければならない。これにより、正しい順序及び望ましくない反復シーケンスの問題が解決される。

ｆ）に関して、シンクデータサービスは、受信したタイムスタンプを、ローカルに確定された時間に対してチェックしなければならない。時間差は、設定された監視時間内になければならない。そうでない場合、セキュリティ関連応答が実行され、再起動を承認しなければならない。再起動時にシンクデータサービスとソースデータサービスとの間の時間の変動を抑制するために、ソースデータサービスは、再起動時にのみシステム時間を受け取ることができる。その後、後続のタイムスタンプ形成をシンクデータサービス内で実行しなければならない。シンクデータサービスは、再起動時に第１の有効なテレグラムを受信した際にシステム時間を受け取る。その後、後続のタイムスタンプ形成をソースデータサービス内で実行しなければならない。

以下、本発明に係る方法及び本発明に係る自動化システムの実施例を、図面に基づいて説明する。

安全な接続識別の図である。 ブロードキャスト動作における自動化システムの概略図である。 ソースデータサービス及びシンクデータサービスの詳細図である。

図１によれば、テレグラムＴによるデータ交換のための機能的に安全な接続識別の方法が実行される、ソースデータサービスＱ及びシンクデータサービスＳが示されている。ソースデータサービスＱには、一意の識別子ＩＤ_Ｑが割り当てられ、送信される各テレグラムＴには、タイムスタンプＴＳ_Ｑが割り当てられる。一例として、第２のテレグラムＴ２が、通信チャネル１０を介してソースデータサービスＱから送信されているところであり、第１のテレグラムＴ１が、その前にシンクデータサービスＳに既に到着している。第２のテレグラムＴ２は、識別子ＩＤ_Ｑ及び第２のタイムスタンプＴＳ_ＱＴ２を有する。

シンクデータサービスＳの外側における破線の四角内に、テレグラムＴが示されている。第１のテレグラムＴ１は、既に到着しており、第２のテレグラムＴ２及び第３のテレグラムＴ３は、この後更に到着することになる。

ここで、シンクデータサービスＳにおいて、今しがた到着した第２のテレグラムＴ２のタイムスタンプＴＳ_ＱＴ２が先行のテレグラムＴ１のタイムスタンプＴＳ_ＱＴ１よりも古いかをチェックする。先行のテレグラムＴ１の到着とともに、監視カウンターＷＤが始動し、さらに、今しがた到着したテレグラムＴ２が、所定の監視時間Ｚ１内に到着したか否かをチェックする。

さらに、シンクデータサービスＳにおいて、ローカルタイムベースＣＬ_ＳのローカルタイムスタンプＴＳ_Ｓｉと今しがた到着したテレグラムＴ２に関連するタイムスタンプＴＳ_ＱＴ２とを比較し、この比較による結果の差Δｕｅ（ｕｅはｕウムラウト）が、所定の継続時間ＣＴ１を超えないか否かをチェックする。

シンクデータサービスＳに到着したテレグラムＴ１、Ｔ２、Ｔ３は、到着したテレグラムＴ２のタイムスタンプＴＳ_Ｔ２が、最後に有効であるとみなされたテレグラムＴ１のタイムスタンプＴＳ_ＱＴ１よりも値が大きいという条件が更に満たされた場合にのみ有効であるとみなされる。最後のステップにおいて、先行のチェックの結果が肯定的である場合、データが有効であることが示され、そうでない場合、フェールセーフ応答が作動される。

シンクデータサービスＳは、データが所望のソースデータサービスＱに由来するものか否かをチェックする。一意の識別子ＩＤ_Ｑによって、ソースデータサービスＱ及びシンクデータサービスＳの双方において識別子ＩＤ_Ｑが既知であることが保証される。

シンクデータサービスＳのローカルタイムベースＣＬ_Ｓは、セキュリティ関連タイムサーバーｓＮＴを介して、ソースデータサービスＱのローカルタイムベースＣＬ_Ｑと同期される。

図２は、ソースデータサービスＱと、第１のシンクデータサービスＳ１、第２のシンクデータサービスＳ２、第３のシンクデータサービスＳ３、第４のシンクデータサービスＳ４、及び第５のシンクデータサービスＳ５との間のブロードキャストメカニズムの原理の概略図を示している。上述した全ての通信参加者は、通信チャネル１０に接続されている。通信チャネル１０は、セーフティプロトコル層ＳＰＬとして構成されている。ここで、ソースデータサービスＱが、ブロードキャストサービスにおいて、全てのシンクデータサービスＳ１、Ｓ２、Ｓ３、Ｓ４、Ｓ５に対してテレグラムＴを送信する場合、各シンクデータサービスＳ１、Ｓ２、Ｓ３、Ｓ４、Ｓ５において、図１において説明した方法が開始される。ここでは、シンクデータサービスＳ１、Ｓ２、Ｓ３、Ｓ４、Ｓ５がソースデータサービスＱに対してテレグラムＴの受信を承認する必要なしに、セキュリティ関連接続を確立することができることが有利である。この理由は、受信するテレグラムＴにおいてチェックのための全ての情報を既に含んでおり、特に、セキュリティ関連タイムサーバー（破線）の同期によって、監視時間に関するチェックを実行することができるためである。

図３には、ソースデータサービスＱ及びシンクデータサービスＳ１が示されている。ソースデータサービスＱは、例えば、自動化制御装置１において実装される。この場合、自動化制御装置１は、ソースデータサービスＱにおいて一意の識別子ＩＤ_Ｑが割り当てられ、送信すべきテレグラムＴ１にそれぞれのタイムスタンプＴＳ_ＱＴ１を割り当てる手段３０が存在するように構成される。

また、関連する自動化デバイスＳ１は、チェック手段４０を備え、チェック手段４０によって、シンクデータサービスＳにおいて、到着するテレグラムのタイムスタンプＴＳ_ＱＴ２が、先行のテレグラムのタイムスタンプよりも古いかをチェックし、先行のテレグラムの到着とともに、監視カウンターＷＤが始動し、さらに、今しがた到着したテレグラムＴが、所定の監視時間Ｚ１内に到着したかをチェックし、さらに、シンクデータサービスＳにおいて、今しがた到着したテレグラムＴのローカルタイムスタンプＴＳ_ＱＴ１、ＴＳ_ＱＴ２を、先行のテレグラムと比較し、比較による結果の差が、所定の継続時間を超えないかをチェックし、このとき、シンクデータサービスＳに到着したテレグラムは、到着したテレグラムＴのタイムスタンプが、最後に有効であるとみなされたテレグラムのタイムスタンプよりも値が大きいという条件が更に満たされた場合にのみ有効であるとみなされ、最後のステップにおいて、先行のチェックの結果が肯定的である場合、データが有効であることが示され、そうでない場合、フェールセーフ応答が作動されるように構成される。

Claims (7)

1. 通信システム（１１）における通信チャネル（１０）を介してソースデータサービス（Ｑ）とシンクデータサービス（Ｓ）との間でテレグラム（Ｔ）を用いたデータ交換を行うための、機能的に安全な接続識別の方法であって、
   前記ソースデータサービス（Ｑ）には、一意の識別子（ＩＤ_Ｑ）が割り当てられ、
   前記ソースデータサービス（Ｑ）において送信すべきテレグラム（Ｔ１、Ｔ２、Ｔ３）に、それぞれのタイムスタンプ（ＴＳ_ＱＴ１、ＴＳ_ＱＴ２）が割り当てられており、
   前記シンクデータサービス（Ｓ）において、今しがた到着したテレグラム（Ｔ２）の前記タイムスタンプ（ＴＳ_ＱＴ２）が、先行のテレグラム（Ｔ１）の前記タイムスタンプ（ＴＳ_ＱＴ１）よりも古いかをチェックし、前記先行のテレグラム（Ｔ１）の到着とともに、監視カウンター（ＷＤ）が始動され、さらに、前記今しがた到着したテレグラム（Ｔ２）が、所定の監視時間（Ｚ１）内に到着したかをチェックし、
   さらに、前記シンクデータサービス（Ｓ）において、ローカルタイムベース（ＣＬ_Ｓ）のローカルタイムスタンプ（ＴＳ_Ｓｉ）を、前記今しがた到着したテレグラム（Ｔ２）に関連する前記タイムスタンプ（ＴＳ_ＱＴ２）と比較し、該比較による結果の差（Δｕｅ）が、所定の継続時間（ＣＴ１）を超えないかをチェックし、
   このとき、前記シンクデータサービス（Ｓ）に到着したテレグラム（Ｔ１、Ｔ２、Ｔ３）は、前記到着したテレグラム（Ｔ２）の前記タイムスタンプ（ＴＳ_Ｔ２）が、最後に有効であるとみなされた前記テレグラム（Ｔ１）の前記タイムスタンプ（ＴＳ_Ｔ１）よりも値が大きいという条件が更に満たされた場合にのみ、有効であるとみなされ、
   最後のステップにおいて、先行の前記チェックの結果が肯定的である場合に前記データが有効であることが示され、そうでない場合にフェールセーフ応答が作動される
   ことを特徴とする方法。
2. 前記一意の識別子（ＩＤ_Ｑ）によって、前記シンクデータサービス（Ｓ）の正しい前記ソースデータサービス（Ｑ）への割当てが保証され、このために、前記識別子（ＩＤ_Ｑ）が前記ソースデータサービス（Ｑ）及び前記シンクデータサービス（Ｓ）の双方において既知であり、前記シンクデータサービス（Ｓ）は、前記データが、所望の前記ソースデータサービス（Ｑ）に由来するものかをチェックする必要がある、請求項１に記載の方法。
3. 前記ローカルタイムスタンプ（ＴＳ_Ｓｉ）を確定するための前記シンクデータサービス（Ｓ）における前記ローカルタイムベース（ＣＬ_Ｓ）が、セキュリティ関連タイムサーバー（ｓＮＴ）を介して、前記ソースデータサービス（Ｑ）における前記タイムベース（ＣＬ_Ｑ）と同期される、請求項１又は２に記載の方法。
4. 自動化デバイス（Ｑ、Ｓ１、Ｓ２、Ｓ３、Ｓ４、Ｓ５）間の通信が機能的に安全に設計され、セキュリティプロトコルが用いられるパブリッシャー／サブスクライバーメカニズム、ブロードキャストメカニズム、又はマルチキャストメカニズムに従って動作し、自動化システムにおいて使用される、請求項１〜３のいずれか１項に記載の方法。
5. ソースデータサービス（Ｑ）が、それぞれのシンクデータサービス（Ｓ）を備える自動化デバイス（Ｓ１、Ｓ２、Ｓ３、Ｓ４、Ｓ５）に対してテレグラム（Ｔ）を提供する、自動化制御装置（１）を備える自動化システム（２０）であって、
   前記自動化制御装置（１）は、前記ソースデータサービス（Ｑ）に一意の識別子（ＩＤ_Ｑ）が割り当てられ、送信すべきテレグラム（Ｔ１、Ｔ２、Ｔ３）にそれぞれのタイムスタンプ（ＴＳ_ＱＴ１、ＴＳ_ＱＴ２、ＴＳ_ＱＴ２）を割り当てる手段（３０）を備えるように構成されており、
   前記自動化デバイス（Ｓ１、Ｓ２、Ｓ３、Ｓ４、Ｓ５）は、チェック手段（４０）を備え、該チェック手段（４０）によって、前記シンクデータサービス（Ｓ）において、今しがた到着したテレグラム（Ｔ２）の前記タイムスタンプ（ＴＳ_ＱＴ２）が、先行のテレグラム（Ｔ１）の前記タイムスタンプ（ＴＳ_ＱＴ１）よりも古いかをチェックし、前記先行のテレグラム（Ｔ１）の到着とともに、監視カウンター（ＷＤ）が始動され、さらに、前記今しがた到着したテレグラム（Ｔ２）が、所定の監視時間（Ｚ１）内に到着したかをチェックし、さらに、前記シンクデータサービス（Ｓ）において、ローカルタイムベース（ＣＬ_Ｓ）のローカルタイムスタンプ（ＴＳ_Ｓｉ）を、前記今しがた到着したテレグラム（Ｔ２）に関連する前記タイムスタンプ（ＴＳ_ＱＴ２）と比較し、該比較による結果の差（Δｕｅ）が、所定の継続時間（ＣＴ１）を超えないかをチェックし、
   このとき、前記シンクデータサービス（Ｓ）に到着したテレグラム（Ｔ１、Ｔ２、Ｔ３）は、前記到着したテレグラム（ＴＳＴ２）の前記タイムスタンプ（ＴＳ_Ｔ２）が、最後に有効であるとみなされた前記テレグラム（ＴＳ_Ｔ１）の前記タイムスタンプ（ＴＳ_Ｔ１）よりも値が大きいという条件が更に満たされた場合にのみ有効であるとみなされ、
   最後のステップにおいて、先行の前記チェックの結果が肯定的である場合に前記データが有効であることが示され、そうでない場合にフェールセーフ応答が作動されるように構成される
   ことを特徴とする自動化システム。
6. 請求項５に記載の自動化システム（２０）であって、前記手段（３０）は、正しい前記ソースデータサービス（Ｑ）に対する前記シンクデータサービス（Ｓ）の割当てを保証するように一意の識別子（ＩＤ_Ｑ）を割り当てるように構成され、前記チェック手段（４０）は、前記割当てをチェックするように構成される自動化システム。
7. 請求項５又は６に記載の自動化システム（２０）であって、前記自動化制御装置（１）及び前記自動化デバイス（Ｓ１、Ｓ２、Ｓ３、Ｓ４、Ｓ５）と接続するセキュリティ関連タイムサーバー（ｓＮＴ）が存在し、前記ローカルタイムスタンプ（ＴＳ_Ｓｉ）を確定する前記シンクデータサービス（Ｓ）における前記ローカルタイムベース（ＣＬ_Ｓ）が、それを介して、前記ソースデータサービス（Ｑ）におけるタイムベース（ＣＬ_Ｑ）と同期されるようになっている自動化システム。