https://www.mdu.se/

The Time-Sensitive Networking (TSN) Task Group of the IEEE has proposed standards to provide Ethernet with real-time guarantees, network management and fault tolerance mechanisms. In this way, the Task Group expects Ethernet to become the standard network technology for novel industrial applications with real-time and reliability requirements. TSN proposes to use space redundancy to increase the reliability of the network, but redundancy alone might not be enough to reach the reliability guarantees required by certain applications, such as offshore industrial systems. For this reason, we propose a fault diagnosis mechanism called FAUDI that represents the first step towards automatic online reconfiguration of TSN networks to adapt to faults affecting the network. We present the design of FAUDI and we model it using the UPPAAL model checker, which allows to carry out an exhaustive evaluation of FAUDI's design. We use the model to validate the design and to verify that FAUDI exhibits properties that are of paramount importance in reliable real-time systems.