[論文レビュー] Formal Scheduling Constraints for Time-Sensitive Networks

Silviu S. Craciunas, Ramón Serna Oliver+1 more|arXiv (Cornell University)|Sep 27, 2017

Network Time Synchronization Technologies参考文献 5被引用数 10

ひとこと要約

この論文は、時間敏感ネットワーク（TSN）におけるIEEE 802.1Qbvゲート制御リストのスケジューリング制約を形式化し、上限付きジターディレイとエンドツーエンド遅延を伴う決定的通信を可能にする。ウィンドウベースのスケジューリングと厳密なタイミング制約を導入することで、分散ネットワークにおけるリアルタイム保証を確保しながら柔軟性を向上させる。

ABSTRACT

In recent years, the IEEE 802.1 Time Sensitive Networking (TSN) task group has been active standardizing time-sensitive capabilities for Ethernet networks ranging from distributed clock synchronization and time-based ingress policing to frame preemption, redundancy management, and scheduled traffic enhancements. In particular the scheduled traffic enhancements defined in IEEE 802.1Qbv together with the clock synchronization protocol open up the possibility to schedule communication in distributed networks providing real-time guarantees. In this paper we formalize the necessary constraints for creating window-based IEEE 802.1Qbv Gate Control List schedules for Time-sensitive Networks (TSN). The resulting schedules allow a greater flexibility in terms of timing properties while still guaranteeing deterministic communication with bounded jitter and end-to-end latency.

研究の動機と目的

• IEEE 802.1QbvベースのTSNシステムにおける信頼性の高いゲート制御リストスケジュールを作成するための形式的制約の欠如に対処すること。
• 分散タイムセンシティブネットワークにおけるリアルタイム特性を維持しつつ、スケジューリングの柔軟性を高めること。
• スケジュールされたトラフィックにおける上限付きジターディレイとエンドツーエンド遅延を保証するタイミング制約を形式化すること。
• ネットワークデバイス間でスケーラブルで検証可能なTSN通信スケジュールの設計を支援すること。

提案手法

• IEEE 802.1Qbvゲート制御リストのウィンドウベーススケジューリング制約の形式化。
• フレーム伝送を予測可能な時間窓内に保証するタイミング制約の定義。
• IEEE 802.1Qbvの時間レギュラーなトラフィックスケジューリングメカニズムとの統合。
• ネットワークノード間でのスケジューリング窓を同期するために分散クロック同期の利用。
• フレームプリエンプションおよびレプリケーションがスケジュールタイミングを破壊しない条件の特定。
• 決定的通信動作の検証を可能にする制約モデルの構築。

実験結果

リサーチクエスチョン

• RQ1 IEEE 802.1QbvベースのTSNネットワークにおける決定的通信を保証するためには、どのような形式的制約が必要か？
• RQ2 上限付きジターディレイとエンドツーエンド遅延を損なわずに、スケジューリングの柔軟性をどのように高められるか？
• RQ3 分散ネットワークノード間でゲート制御リストの正しく動作させるために満たすべき条件は何か？
• RQ4 分散クロック同期とフレームプリエンプションは、形式的タイミング制約下で、スケジュールされたトラフィックとどのように相互作用するか？

主な発見

• 提案された形式的制約により、TSNにおける決定的通信を保証するウィンドウベースのゲート制御リストスケジュールの作成が可能になった。
• この手法は、上限付きジターディレイとエンドツーエンド遅延を維持しつつ、より高いスケジューリングの柔軟性をサポートする。
• これらの制約は、既存のIEEE 802.1QbvおよびIEEE 802.1ASのクロック同期メカニズムと互換性がある。
• 形式的モデルにより、分散ネットワークノード間でのタイミング保証の検証が可能になった。