IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal Modeling and Analysis of RBC Subsystem in CTCS Level 3 Using UPPAAL

2009 WRI World Congress on Computer Science and Information Engineering, CSIE

Author(s): Jidong Lv ; Tao tang
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 2009
Conference Location: Los Angeles, California USA, USA
Conference Date: 31 March 2009
Volume: 2
Page(s): 49 - 53
ISBN (Paper): 978-0-7695-3507-4
DOI: 10.1109/CSIE.2009.49
Regular:

This paper analyses the function and performance of the software of RBC (Radio Block Center) subsystem in CTCS (Chinese Train Control System) level 3. It describes the formalization of RBC... View More

Advertisement