Abstract:Time-Sensitive Networking (TSN) is a set of standards that provide low-latency, high-reliability guarantees for the transmission of traffic in networks, and it is becoming an accepted solution for complex time-critical systems such as those in industrial automation and the automotive. In time-critical systems, it is essential to verify the timing predictability of the system, and the application of scheduling mechanisms in TSN can also bring about changes in system timing. Therefore, schedulability analysis techniques can be used to verify that the system is scheduled according to the scheduling mechanism and meets the timing requirements. In this paper, we provide a clear overview of the state-of-the-art works on the topic of schedulability analysis in TSN in an attempt to clarify the purpose of schedulability analysis, categorize the methods of schedulability analysis and compare their respective strengths and weaknesses, point out the scheduling mechanisms under analyzing and the corresponding traffic classes, clarify the network scenarios constructed during the evaluation and list the challenges and directions still needing to be worked on in schedulability analysis in TSN. To this end, we conducted a systematic literature review and finally identified 123 relevant research papers published in major conferences and journals in the past 15 years. Based on a comprehensive review of the relevant literature, we have identified several key findings and emphasized the future challenges in schedulability analysis for TSN.

Compositional Schedulability Analysis of Timing Constraint Petri Nets

Compositional Schedulability Analysis Of Workflow Using Timing Constraint Petri Nets

Schedulability analysis of workflow using timing constraint petri nets

Schedulability Analysis Method of Timing Constraint Petri Nets

Structural Controller for Logical Expression of Linear Constraints on Petri Nets

Synthesis of Petri nets controller for discrete event systems based on finite capacity places-Part 2

A synthesis approach to Petri nets with combined place marking and transition firing constraint

Supervisor Synthesis for Enforcing Linear Constraints on A Class of Petri Nets with Unobservable Transitions

Vulnerability Analysis of Clock Synchronization Protocol Using Stochastic Petri Net

Analysis of clock synchronization protocol security using colored Petri net

Schedulability Analysis in Time-Sensitive Networking: A Systematic Literature Review

Synthesis of supervisor enforcing Parikh constraints with uncontrollable transitions in Petri Nets

Probability Timing Constraint WF-Nets and Their Application to Timing Schedulability Analysis of Workflow Management Systems

One Kind of Petri Nets with Systematized Changeable Structure

Scheduling Fmss Based On A Hybrid Petri Net Framework

Schedulability Analysis Algorithm for Timing Constraint Workflow Models

Performance Analysis of Strictly Synchronized Stochastic Petri Nets

Formal Analysis of TSN Scheduler for Real-Time Communications

A Deadlock Prevention Strategy for Petri Nets Through Tuning Time Constraints

Study on Energy-aware Scheduling Model for Fault Tolerance Real-time Systems

Timing Constraint Workflow Nets for Workflow Analysis