Train control systems must provide a high level of safety as they are a very important component and responsible for the safe operation of a train. To meet safety and reliability requirements, formal techniques must be used to specify train control systems. In this paper, we uses CSP, Object-Z and Clock to specify the Railway Control System concerning both the linear track and crossing area, especially the time delay between any two aspects of the railway system.
Formal Specification of Railway Control Systems
Lect. Notes Electrical Eng.
Advanced Technologies, Embedded and Multimedia for Human-centric Computing ; Chapter : 46 ; 389-399
2013-11-13
11 pages
Article/Chapter (Book)
Electronic Resource
English
Towards Domain-Specific Formal Specification Languages for Railway Control Systems
British Library Conference Proceedings | 2001
|British Library Conference Proceedings | 2000
|Formal Specification Method for Systems Automation
British Library Online Contents | 2006
|Formal methods for railway operation and control systems
TIBKAT | 2003
|