首页|Formal Modeling of Frame Selection in Asynchronous TSN Communications
Formal Modeling of Frame Selection in Asynchronous TSN Communications
扫码查看
点击上方二维码区域，可以放大扫码查看
原文链接
万方数据
The asynchronous time-sensitive networking(TSN)based on IEEE 802.1Qcr is expected to be a prom-ising solution for the asynchronous transmissions of safety-critical flows without the support of clock synchronization.When the asynchronous traffic shaping(ATS)mechanism is adopted to meet the deadline requirements for transmissions of safety-critical flow,it is necessary to formally verify the real-time properties and corresponding network performance.However,it is still unclear how to build an efficient formal model to evaluate different frame selection methods dur-ing the ATS scheduling process,which originate from the dominations of priority or eligibility time.In this paper,we present a formal modeling framework to compare the impacts of different frame selection on transmission sequence under the ATS mechanism.According to the priority level(pATS)or eligibility time(eATS)for flows,two transmission selection methods in ATS are modeled and compared.Then,we verify the real-time properties of ATS.The result shows that the shaping-for-free property can be satisfied with the pATS method but can not be fulfilled with the eATS method.Besides,the timing analysis results illustrate that the eATS method can provide more fairness than the pATS method for the transmission of low-priority flows in TSN networks.
万方数据
