@inproceedings{02acee5af69b4c93a0a290b1ed0210a9,
title = "A formal method for evaluating the performance of TSN traffic shapers using UPPAAL",
abstract = "There are quite tight timing requirements in deterministic low latency network. The IEEE 802.1 Time-Sensitive Networking (TSN) task group has proposed several traffic shapers to satisfy real-time communications requirements. Traditionally, the performance of TSN is analyzed by simulations, whereas these methods cannot cover all corner cases. This paper firstly presented formal models of the TSN's time-aware and peristaltic shapers using UPPAAL, tactically solving the problem mentioned above. Afterward, we verified some properties of the shapers models, of which the results could evaluate whether these shapers are able to satisfy strict timing requirements or not. Based on the models, we can discuss about the performance of time-critical traffic combining the preemption mechanism. More-over, we can also analyze resource utilization and transmission latency. Under the time properties analysis and verification of TSN traffic shapers, we can provide engineers with an accessible reference that may assist them in developing the TSN.",
keywords = "IEEE 802.1TSN, Performance Analysis, Preemption, Real-Time, UPPAAL",
author = "Wang Guo and Yanhong Huang and Jianqi Shi and Zhe Hou and Yang Yang",
note = "Publisher Copyright: {\textcopyright} 2021 IEEE.; 46th IEEE Conference on Local Computer Networks, LCN 2021 ; Conference date: 04-10-2021 Through 07-10-2021",
year = "2021",
month = oct,
day = "4",
doi = "10.1109/LCN52139.2021.9524955",
language = "英语",
series = "Proceedings - Conference on Local Computer Networks, LCN",
publisher = "IEEE Computer Society",
pages = "241--248",
editor = "Lyes Khoukhi and Sharief Oteafy and Eyuphan Bulut",
booktitle = "Proceedings of the IEEE 46th Conference on Local Computer Networks, LCN 2021",
address = "美国",
}