Route safety verification of train control system by FTA modeling in SCADE.

Haifeng Wang Bin Ning Tan Chen Shengjie Tang Yong Zhang Ming Chai

Published in: ITSC (2018)

Keyphrases

safety analysis
control system
nuclear power plant
safety critical
neural network
fuzzy logic
formal methods
symbolic model checking
fault model
virtual environment
model checking
control strategy
control algorithm
modeling method
fault tree