Recently, fault injection techniques are used for evaluation of the fault coverage properties of safety-critical systems. This paper describes the TCN Fault Injector(TFI) implemented for TCN safety analysis. The implemented TFI injects network level f...
Recently, fault injection techniques are used for evaluation of the fault coverage properties of safety-critical systems. This paper describes the TCN Fault Injector(TFI) implemented for TCN safety analysis. The implemented TFI injects network level faults to Intelligent MVB Controller that is designed for the Korean High Speed Train. With TFI, it can be verified whether the MVB controller meets TCN specification and its safety requirements.