Fault Diagnosis Of The On-Board Equipment In Ctcs-3 Based On Timed Automata And Mutation Theoy

In this paper, a method of fault diagnosis for the on-board equipment based on Timed Automata (TA) and mutation theory is proposed. Firstly, several kinds of mutation operators were injected in TA model to get Fault Timed Automta (FTA), in which the fault with timed features is described. Secondly, the approach of fault diagnosis and the verification of the diagnosability were proposed by parallel product A, in which the necessary and sufficient conditions of fault diagnosiability were discussed. Finally, we take the Ceiling Speed Monitoring (CSM) and Target Speed Monitoring (TSM) functions as a case study to present the feasibility of the method. Based on the CSM diagnoser, the fault set with events and time behaviors was effectively divided into two categories: diagnosable and non-diagnosable. The result is shown that the fault diagnosis and verification of diagnosability can be performed and it is of great significance for fault diagnosis of the on-board equipment.