[論文レビュー] Simulation of the IEEE 1588 Precision Time Protocol in OMNeT++

Wolfgang Wallner|arXiv (Cornell University)|Sep 21, 2016

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

ひとこと要約

本論文は、OMNeT++におけるIEEE 1588精密時刻プロトコル（PTP）のモジュラーでオープンソースのシミュレーションフレームワークを提示しており、発振器ノイズとPTP同期の現実的なモデル化を可能にしている。LibPLNを介したPowerlaw Noiseモデルと、BMC、遅延測定、PIベースの時 clocks補正を備えたカスタム設定可能なPTPスタックを実装しており、マイクロ秒未塔の精度を有するPTPネットワークのDesign Space Exploration（DSE）に向けた自由利用可能で拡張可能なツールを提供している。

ABSTRACT

Real-time systems rely on a distributed global time base. As any physical clock device suffers from noise, it is necessary to provide some kind of clock synchronization to establish such a global time base. Different clock synchronization methods have been invented for individual application domains. The Precision Time Protocol (PTP), which is specified in IEEE 1588, is another interesting option. It targets local networks, where it is acceptable to assume small amounts of hardware support, and promises sub-microsecond precision. PTP provides many different implementation and configuration options, and thus the Design Space Exploration (DSE) is challenging. In this paper we discuss the implementation of realistic clock noise and its synchronization via PTP in OMNeT++. The components presented in this paper are intended to assist engineers with the configuration of PTP networks.

研究の動機と目的

• リアルタイムシステムにおけるIEEE 1588精密時刻プロトコル（PTP）を用いた時 clocks同期の正確なシミュレーションを可能にすること。
• 離散イベントシミュレーション（DES）環境（例：OMNeT++）内での現実的な発振器ノイズ（特にPowerlaw Noise）のモデリングを可能にすること。
• モジュラーかつ拡張可能なシミュレーションフレームワークを提供することで、PTPネットワークのDesign Space Exploration（DSE）を支援すること。
• 研究および教育的用途のために、自由に利用可能なオープンソースのPTPコンponents実装を提供すること。

提案手法

• LibPLNというカスタムライブラリを介してPowerlaw Noise（PLN）を含む、拡張可能なノイズモデルを備えたOMNeT++における汎用時 clocksモデルの実装。
• IEEE 1588-2008準拠のPTPスタックの開発。Best Master Clock（BMC）アルゴリズムを用いたマスタースレーブ階層の自動形成をサポート。
• 2ステップ遅延測定とSync/Follow-upメッセージ交換を用いた経路遅延推定の統合。
• 時 clocksサーボ補正のためのPI（比例積分）コントローラーの設計。これにより、スレーブ時 clocksとマスタースレーブ時 clocks間のオフセットを最小限に抑える。
• OMNeT++のコン poundモジュールおよびシンプルモジュールを用いた、PTPノード、ポート、および状態追跡のためのモジュラーなアーキテクチャ。
• 詳細な分析を可能にするログ記録、シグナルトレース、統計情報収集のサポート。これにより、PTP動作とアルゴリズム実行の完全な可視化が可能。

実験結果

リサーチクエスチョン

• RQ1 離散イベントシミュレーション（DES）環境（例：OMNeT++）において、現実的な発振器ノイズ（特にPowerlaw Noise）をどのように効率的にシミュレートできるか。
• RQ2 OMNeT++におけるPTPシミュレーションは、実際のIEEE 1588-2008準拠ネットワークの同期動作をどの程度正確にモデル化できるか。
• RQ3 提案されたPIベースの時 clocksサーボは、現実的なノイズ条件下で時 clocksオフセットをどの程度効果的に低減できるか。
• RQ4 OMNeT++において、フル機能を備えたオープンソースのPTPシミュレーションスタックを実装する際の実現可能性とモジュラリティはいかがなものか。
• RQ5 このシミュレーションフレームワークは、異なるプロファイルやネットワークトポロジを含むPTP構成のDesign Space Exploration（DSE）をどのように支援できるか。

主な発見

• シミュレーションフレームワークは、LibPLNを用いてPowerlaw Noiseを効果的にモデル化しており、OMNeT++シミュレーションにおける現実的な発振器挙動の再現を可能にしている。
• PTPスタックは正しくBest Master Clock（BMC）アルゴリズムを実装しており、動的かつ自動的なマスタースレーブ階層形成を可能にしている。
• 2ステップ法による経路遅延推定が正確にシミュレートされており、マイクロ秒未塔の同期精度を実現している。
• PIコントローラーは、ノイズ環境下でも効果的に時 clocksオフセットを低減し、安定的かつ正確な時 clocks補正を示している。
• 全フレームワークはGPLおよびBSDライセンスの下でオープンソースとしてリリースされており、GitHub上でコミュニティによる利用および拡張が可能である。
• シミュレーションは詳細なログ記録とシグナルトレースをサポートしており、BMC実行、状態遷移、アルゴリズム意思決定の完全な可視化が可能である。