A formal method for evaluating the performance of TSN traffic shapers using UPPAAL

Loading...
Thumbnail Image
File version
Accepted Manuscript (AM)
Author(s)
Guo, W
Huang, Y
Shi, J
Hou, Z
Yang, Y
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
2021
Size
File type(s)
Location
License
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.

Journal Title
Conference Title
2021 IEEE 46th Conference on Local Computer Networks (LCN)
Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
© 2021 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject
Information and computing sciences
Information systems
Formal methods for software
Persistent link to this record
Citation
Guo, W; Huang, Y; Shi, J; Hou, Z; Yang, Y, A formal method for evaluating the performance of TSN traffic shapers using UPPAAL, 2021 IEEE 46th Conference on Local Computer Networks (LCN), pp. 241-248