HighLevel Availability Analysis of FPGABased TimeSensitive Networks The IEEE TimeSensitive Network (TSN) provides a scalable solution for realtime communication using Ethernet technology. In this paper, we address the availability of FPGAbased TSN under a harsh radiation environment. In particular, the impact of periodic repair mechanisms and the transmission redundancy on the communication availability is investigated. To achieve our goal, we propose a Timed Automata (TA) model of the TSN to capture the impact of periodic repair on communication reliability. As a result, the proposed analysis framework allows the designer to set up the appropriate repair cycle and redundancy level according to the application criticality and required system reliability. To demonstrate the proposed analysis framework, we consider a case study based on the switched network deployed in the Orion MultiPurpose Crew Vehicle (MPCV) AmericanEuropean interplanetary spacecraft. Our analysis results show a specific optimal scrubbing rate for each radiation environment regardless the network utilization conditions.

Schedulability Analysis and GCL Computation for TimeSensitive Networks Industrial automation networks are composed of cyberphysical systems where frame delays and jitter influence significantly the quality of communication between control and field devices. Due to these constraints, such systems are often served by dedicated Fieldbus networks which are different from networks for enterpriselevel connectivity. However, with the introduction of Timesensitive Networking standards which are already integrated into IEEE 802.1Q2018 standards in essential parts, the long expected single converged network for anytype communication in the field, control, and enterprise level is within reach. With it, comes the challenge of synthesizing schedules to obtain parameters for configuring the network bridges for timetriggered communication services.This paper provides a scheduling verification, and Gate Control event computation algorithm focused on asserting the viability of scheduling communication services for multiple independent periodic Talker applications on IEEE 802.1Q Time Sensitive Networks as well as the computation of Gate Control Lists for the bridges.