<departmental bulletin paper>
Formalizing Moving Block Railway Interlocking System for Directed Network

Creator
Language
Publisher
Date
Source Title
Vol
Issue
First Page
Last Page
Publication Type
Access Rights
JaLC DOI
Related DOI
Related URI
Relation
Abstract The safety and complexity of Railway Interlocking System (RIS) requires the use of advanced methodologies. Formal methods increase quality and provide highest confidence in this area. In this paper, s...afety analysis of moving block RIS is presented. The system is decomposed into four components, i.e., network topology, network state, controls and trains. The formal analysis of the components is presented after further decomposition. Finally, the safety requirements, no collision and no derailing, are defined abstractly and then refined by integrating with the notion of moving block. The railway network is modeled using directed graph. Formal specification is described in VDM-SL.show more

Hide fulltext details.

pdf p109 pdf 943 KB 272  

Details

PISSN
EISSN
NCID
Record ID
Peer-Reviewed
Subject Terms
Created Date 2015.06.03
Modified Date 2020.10.12

People who viewed this item also viewed