Performance evaluation of railway computer interlocking system based on queuing theory
暂无分享,去创建一个
[1] Kenneth D. Shere,et al. A methodology for design, test, and evaluation of real-time systems , 1994, Computer.
[2] G. S. Krut. Software design criteria for the safety-critical protection of automated transit systems , 1990, ASME/IEEE Joint Conference on Railroads.
[4] D. G. Fisher,et al. Introduction to Queuing Networks , 1989 .
[5] A. Saeed,et al. An approach for the risk analysis of safety specifications , 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.
[6] Vinod Chandra,et al. A fail-safe interlocking system for railways , 1991, IEEE Design & Test of Computers.
[7] D. F. Bailey. Once in ten thousand years (railway signalling systems) , 1995 .
[8] Yacine Atif,et al. Dynamic scheduling of real-time tasks, by assignment , 1998, IEEE Concurr..
[9] S. Fararooy,et al. Condition-based maintenance of railway signalling equipment , 1995 .