[論文レビュー] Proportional-Integral Clock Synchronization in Wireless Sensor Networks

Kasım Sinan Yıldırım, Ruggero Carli+1 more|arXiv (Cornell University)|Oct 29, 2014

Network Time Synchronization Technologies参考文献 30被引用数 3

ひとこと要約

本稿では、無線センサネットワーク（WSNs）向けに、局所フィードバックのみを用いて時刻オフセットおよび周波数差を最小化する、比例積分（PI）コントローラーに基づく新規分散型時 clocks 同期アルゴリズム PISync を提案する。本手法は低メモリおよびCPU負荷、最小限のメッセージ交換、およびネットワーク径の増加に伴う同期誤差の緩やかな増加を実現し、スケーラビリティを有する。

ABSTRACT

In this article, we present a new control theoretic distributed time synchronization algorithm, named PISync, in order to synchronize sensor nodes in Wireless Sensor Networks (WSNs). PISync algorithm is based on a Proportional-Integral (PI) controller. It applies a proportional feedback (P) and an integral feedback (I) on the local measured synchronization errors to compensate the differences between the clock offsets and clock speeds. We present practical flooding-based and fully distributed protocol implementations of the PISync algorithm, and we provide theoretical analysis to highlight the benefits of this approach in terms of improved steady state error and scalability as compared to existing synchronization algorithms. We show through real-world experiments and simulations that PISync protocols have several advantages over existing protocols in the WSN literature, namely no need for memory allocation, minimal CPU overhead and code size independent of network size and topology, and graceful performance degradation in terms of network size.

研究の動機と目的

• WSNsにおける既存の時刻同期プロトコルの高い計算およびメモリ負荷を低減すること。
• 時間履歴の保存および回帰分析に依存するため、フラッディング型および完全分散型プロトコルのスケーラビリティの限界を克服すること。
• 過去の時刻情報の保存を必要とせず、精度を維持する軽量で分散型の同期アルゴリズムを開発すること。
• 最小限のリソース消費で、大規模または動的変化のあるWSNsにおいても、頑健性とスケーラビリティを確保すること。
• 異なるネットワークトポロジーやサイズにおいて、性能の理論的および実験的妥当性を検証すること。

提案手法

• リアルタイムフィードバックを用いて、局所時刻オフセットおよび周波数を動的に補正する比例積分（PI）コントローラーを設計する。
• フラッディング型プロトコル（FloodPISync）と完全分散型プロトコル（AvgPISync）の2つのバリアントを実装し、隣接ノード間の通信を用いる。
• 時間履歴の保存を一切行わず、現在の同期誤差測定値のみを用いることで、メモリおよび計算負荷を低減する。
• PI制御則を適用：現在のオフセットに対する比例フィードバックと、蓄積誤差に対する積分フィードバックを組み合わせて、局所時刻を更新する。
• 分散型コンSENSUSフレームワークにPIコントローラーを統合し、ネットワーク全体での自己キャリブレーションを可能にする。
• JProwlerシミュレータを改変し、ハードウェア時計のドリフト（±50 ppm）をモデル化し、PISync、PulseSync、GTSPを実装して比較評価を実施する。

実験結果

リサーチクエスチョン

• RQ1 PIベースの制御アプローチは、最小限のメモリおよびCPU負荷で、WSNsにおける正確な時 clocks 同期を達成できるか？
• RQ2 ネットワーク径が変化する中で、PISyncの性能はPulseSyncやGTSPといった既存プロトコルと比較して、グローバルおよびローカルのスケーリング誤差においてどのように差がつくか？
• RQ3 フラッディングによる情報伝搬が遅いため、グローバル情報伝達が遅いにもかかわらず、完全分散型のAvgPISyncプロトコルは、ローカル同期精度においてフラッディング型バージョンを上回るか？
• RQ4 ネットワークサイズおよび直径の増加に伴い、PISyncは同期誤差をどのように低く維持できるか？
• RQ5 時間履歴の保存や複雑な回帰計算を必要とせず、PISyncはスケーラブルな性能を達成できるか？

主な発見

• PISyncプロトコルは、ネットワーク径の増加に伴い、グローバルおよびローカルのスケーリング誤差が非常に緩やかに増加する傾向を示し、強力なスケーラビリティを示している。
• 大規模ネットワークにおいて、完全分散型のAvgPISyncプロトコルは、局所的近傍情報のより効果的な活用により、FloodPISyncよりも低いローカルスケーリング誤差を達成している。
• FloodPISyncおよびPulsePISyncは、フラッディングによる時間情報の迅速な拡散のおかげで、AvgPISyncよりもグローバルスケーリング誤差が低い。
• PulsePISyncは、パルスベースのフラッディングにより時間情報の拡散が速いため、FloodPISyncよりもグローバルスケーリング誤差が低い。
• PISyncプロトコルは、時間履歴のためのメモリ割り当てを一切不要とし、CPU負荷は最小限であり、コードサイズはネットワークサイズおよびトポロジに依存しない。
• シミュレーション結果から、PISyncは異なるネットワーク径において5日間（5×10⁵秒）にわたる実世界シナリオでも高い同期精度を維持しており、頑健性およびスケーラビリティを確認している。