A Topology-Based Model for Railway Train Control Systems

Abstract

An innovative topology-based method for modeling railway train control systems is proposed in this paper. The method addresses the problems of having to rely too much on designers' experience and of incurring excessive cost of validation and verification in the development of railway train control systems. Four topics are discussed in the paper: 1) the… (More)
DOI: 10.1109/TITS.2012.2237509

Topics

8 Figures and Tables

Slides referencing similar topics