A train control system basically consists of fault tolerant and real time processors where each processor autonomously works in communication with each other (distributed system). Then this configuration is expected to develop in the future. A method of "voting by the processors in a network" is one of the basic methods to realize fault tolerance in such situations. This paper proposes a method to verify the real time property of this voting mechanism using a non-Markovian Stochastic Petri Net model.

Copyright(c) 2001 Railway Technical Research Institute