[論文レビュー] A System for Clock Synchronization in an Internet of Things

Sathiya Kumaran Mani, Ramakrishnan Durairajan+2 more|arXiv (Cornell University)|Jun 7, 2018

Network Time Synchronization Technologies参考文献 18被引用数 14

ひとこと要約

本稿では、低価格なIoTデバイスにおける高い時クロックジッターと不安定性にかかわらず、15ms未満の精度を達成するための軽量な時刻同期システムSPoTを提案する。SPoTは新規のパケットプロトコルとスケーラブルなサーバーサイド計算を用い、高ノイズ環境下でもSNTPおよびMQTTを最大22倍の精度で上回る。ネットワークオーバーヘッドが低く、大規模な展開にも対応可能である。

ABSTRACT

Synchronizing clocks on Internet of Things (IoT) devices is important for applications such as monitoring and real time control. In this paper, we describe a system for clock synchronization in IoT devices that is designed to be scalable, flexibly accommodate diverse hardware, and maintain tight synchronization over a range of operating conditions. We begin by examining clock drift on two standard IoT prototyping platforms. We observe clock drift on the order of seconds over relatively short time periods, as well as poor clock rate stability, each of which make standard synchronization protocols ineffective. To address this problem, we develop a synchronization system, which includes a lightweight client, a new packet exchange protocol called SPoT and a scalable reference server. We evaluate the efficacy of our system over a range of configurations, operating conditions and target platforms. We find that SPoT performs synchronization 22x and 17x more accurately than MQTT and SNTP, respectively, at high noise levels, and maintains a clock accuracy of within ~15ms at various noise levels. Finally, we report on the scalability of our server implementation through microbenchmark and wide area experiments, which show that our system can scale to support large numbers of clients efficiently.

研究の動機と目的

• 低コストのIoTデバイスにおける不安定で温度に敏感なオシレーターが示す高いジッターと劣悪な周波数安定性に起因する時刻同期の課題に対処すること。
• Arduino MKR1000 や Raspberry Pi3 などのリソース制限のあるIoTプラットフォームに適した軽量でスケーラブルな同期システムを設計すること。
• 複雑なクライアントサイド計算を必要としない、正確な同期を可能にする新しいパケット交換プロトコル（SPoT）を開発すること。
• さまざまな運用条件、ノイズレベル、ハードウェアプラットフォームにおけるシステムの性能を評価すること。
• マイクロベンチマークおよび広域実験を通じて、リファレンスサーバーのスケーラビリティを実証すること。

提案手法

• システムは、SPoT応答パケット内の時間情報を基に時刻を同期する軽量クライアントを採用しており、オフセットやレート推定のためのローカル計算を一切不要としていない。
• スケーラブルなリファレンスサーバーは、履歴的な時間サンプルを用いて時刻オフセット、スケール、ジッター係数を計算し、推定のロバスト性を向上させるためにカルマンフィルタを適用している。
• SPoTは、可変なネットワーク条件下でも同期精度を向上させるために、パス非対称性を推定するための二方向パケット交換プロトコルを採用している。
• 本システムは、ハードウェアの不安定性を特徴付けるアラング・分散分析を用いて、特に温度変化下での時クロックレートジッターの推定と補正を可能にする新規なアルゴリズムを組み込んでいる。
• 信号品質および安定性指標に基づき、ノイズの影響を低減するため、信頼性の高い時間サンプルを選択するフィルタリング機構を導入している。
• サーバーは、100万台のArduinoデバイスをサポートするために、わずか約6,000パケット/秒のスループットで高負荷のクライアント処理を効率的に行えるように実装されている。

実験結果

リサーチクエスチョン

• RQ1 Arduino MKR1000 や Raspberry Pi3 といった一般的なIoTプラットフォームにおいて、異なる温度条件下で時クロックジッターとレート不安定性はどのように変化するか？
• RQ2 SNTP や MQTT といった標準プロトコルと比較して、リソース制限のある環境下でノイズが多く、ハードウェアが不安定な状態でも、軽量でスケーラブルな同期プロトコルが精度面で優れているか？
• RQ3 さまざまなドリフト特性を示すIoTハードウェアにおいて、サーバーサイドの計算モデルが、時刻オフセットおよびレートジッターをどれほど正確に推定・補正できるか？
• RQ4 大規模なIoT展開において、スケーラブルな同期サーバーを導入する際のネットワークおよび計算オーバーヘッドはどの程度か？
• RQ5 ネットワーク通信におけるパス非対称性が同期精度に与える影響は何か？また、低オーバーヘッドのプロトコルにおいて、これを効果的に緩和できるか？

主な発見

• SPoTは、さまざまなノイズレベルにおいて、およそ15ms以内の同期精度を達成しており、SNTP や MQTT を顕著に上回っている。
• 高ノイズ環境下では、SPoTはMQTTと比較して22倍、SNTPと比較して17倍のオフセット低減効果を示した。
• 高いハードウェアジッターと温度変動下でも、SPoTは時クロックレート誤差の平均二乗誤差（RMSE）を約15msの範囲に保った。
• SPoTサーバーは高いスケーラビリティを示し、100万台のArduinoデバイスをサポートするには、たった約6,000パケット/秒のスループットで十分である。
• 本システムの性能は、高いアラング分散と不安定な時クロックレートを示す低価格オシレーターを含む多様なハードウェアプラットフォームにおいても、頑健である。
• サーバーサイドのフィルタリングおよびカルマンベースの推定により、クライアント側の計算および通信オーバーヘッドを増加させることなく、正確な同期が実現可能である。