Assurance Cases for Timing Properties of Automotive TSN Networks

Assurance Cases for Timing Properties of Automotive TSN Networks

연구 분야: Verification

학회: International Conference on Computer Safety, Reliability, and Security

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 difficult problem. In this paper, we present work in progress on demonstrating the use of assurance cases in making this argument explicit for an example TSN Ethernet timing requirement for an automotive powertrain network.