Time-sensitive Networking (TSN) on Ethernet is a promising communication technology in the automotive and industrial automation industries due to its real-time and high-bandwidth communication capabilities. Time-triggered scheduling and static routing are often adopted in these areas due to high requirements on predictability for safety-critical applications. Deadline-constrained routing and scheduling in TSN have been studied extensively in past research. However, scheduling and routing with reliability requirements in the context of transient faults are not yet studied. In this work, we propose an Satisfiability Modulo Theory-based technique to perform scheduling and routing that takes both reliability constraints and end-to-end deadline constraints into consideration. Heuristics have been applied to improve the scalability of the solution. Extensive experiments have been conducted to demonstrate the efficiency of our proposed technique.

中文翻译：

---

时间敏感网络中消息的可靠性感知调度和路由

以太网上的时间敏感网络 (TSN) 因其实时和高带宽的通信能力而在汽车和工业自动化行业中是一种很有前途的通信技术。由于对安全关键型应用程序的可预测性要求很高，因此这些领域通常采用时间触发调度和静态路由。在过去的研究中，已经对 TSN 中的截止日期约束的路由和调度进行了广泛的研究。然而，尚未研究在瞬态故障情况下具有可靠性要求的调度和路由。在这项工作中，我们提出了一种基于可满足性模理论的技术来执行调度和路由，该技术同时考虑了可靠性约束和端到端期限约束。已应用启发式方法来提高解决方案的可扩展性。