Assurance Cases for Timing Properties of Automotive TSN Networks

The problem of configuring an Automotive TSN (Time-Sensitive Networking) Ethernet network with desired timing properties consists of several individual complex problems, each with its own solution landscape. When the chosen solutions come together in the implementation of timing guarantees on these networks, presenting the argument and evidence for the correct behaviour of the network with respect to the timing requirements itself becomes a …