Modeling of train control system and a method of assurance evaluation

Assurance technology is a general term for technology that utilizes a system which considers the two elements of heterogeneity and adaptability. There are various needs in railway systems, so assurance properties are also being sought for train control systems. Coexistence of heterogeneous systems and adaptability for smooth system replacement are sought within daily operational changes. In this paper we model train control systems and propose an assurance evaluation method.