Modeling of train control system and a method of assurance evaluation
Tóm tắt
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.
Từ khóa
#Control system synthesis #Control systems #Rail transportation #Automatic generation control #System testing #Signal detection #Magnetooptic recording #Laboratories #Automatic control #Distributed computingTài liệu tham khảo
matsumoto, 0, On-board Autonomous Decentralized Train Control System, Trans IEE of Japan, 121, 2001
10.1109/ISADS.2001.917420
10.1109/HASE.2001.966822
10.1109/FTDCS.2001.969638
matsumoto, 2001, Development of the Autonomous Decentralized Train Control System, IEICE Trans Commun, e84 d
mori, 1997, Heterogeneous Fault-Tolerance Techniques in Autonomous Decentralized System, Technical Report of IEICE FTS1997-25
10.1109/ISADS.1993.262725
mori, 1998, Assurance Technique for Integrating Heterogeneous Systems, Technical Report of IEICE FTS1998-50
mori, 1986, Autonomous Decentralized Software Structure and Its Applications, IEEE Fall Joint Computer
mori, 2000, Needs and Technology Trends in Assurance Systems, Technical Report of IEICE ASSURANCE2000
mori, 2001, Autonomous Decentralized System, IEICE, 184
mori, 1998, Application in Rapidly Changing Environments, IEEE Computer, 31
yen, 1998, Toward Integrated Methods for High-Assurance Systems, IEEE Computer, 31
matsumoto, 2000, Development of New Train Control System and Assurance Technology, REAJ, 22