[论文解读] 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时钟同步机制兼容。
• 形式化模型允许在分布式网络节点间验证定时保证。