Implementation and Evaluation of SMT-based Real-time Communication Scheduling for IEEE 802.1Qbv in Next-generation in-vehicle network

The explosive growth of automotive electronics and self-driving prompts the expansion of in-vehicle networks and the revolution of E/E architecture. A flexible, scalable, lightweight, and service-oriented architecture based on Ethernet is widely approved. Time Sensitive Networks (TSNs) is introduced to satisfy the demanding requirements for deterministic and low end-to-end delay in in-vehicle real-time communication networks. This paper focuses on the traffic scheduling of in-vehicle network through gate control lists (GCLs) based on IEEE 802.1Qbv. We extend the model and implementation of GCLs based on Satisfiability Modulo Theories (SMT) with the coexistence of massive data flow and high frequency data flow. The simulative assessments and validation are complemented for the promising next-generation in-vehicle communication architecture using OMNeT++.