NDLI: Integrating DSL-CBI and NuSMV for Modeling and Verifiying Interlocking Systems

Content Provider	IEEE Xplore Digital Library
Author	Yan Cao Qiuzi Lu Tianhua Xu Tao Tang Haifeng Wang Yongcheng Xu
Copyright Year	2011
Abstract	The Computer Based Interlocking System (CBI) is used to ensure safe train movements at a railway station. For a given station, all the train routes and the concrete safety rules associated with these are defined in the interlocking table. Currently, the development and verification of interlocking tables is entirely manual process, which is inefficient and error-prone due to the complexity of the CBI and the human interferences. Besides, the complexity and volume of the verification results tend to make users feel extremely non-understandable. In order to tackle these problems, we introduce a toolset based on Domain Specific Language for Computer Based Interlocking Systems (DSL-CBI) to automatically generate and verify the interlocking table, and then mark the conflicting routes in the railway station. In this paper, we also discuss the advantages of the toolset and the significant contribution in developing CBI based on the proposed toolset.
Starting Page	136
Ending Page	143
File Size	556043
Page Count	8
File Format	PDF
ISBN	9781457707810
DOI	10.1109/SSIRI-C.2011.28
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2011-06-27
Publisher Place	Korea (South)
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Computers Computer Based Interlocking System (CBI) Counter-example visualization Computational modeling Unified modeling language Semantics XML Rail transportation DSL Railway station Domain Specific Language for Computer Based Interlocking Systems (DSL-CBI) Interlocking table
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Automatic generation and verification of interlocking tables based on Domain Specific Language for Computer Based Interlocking Systems (DSL-CBI)

A new test environment for PLC based interlocking systems

The study of TYJL-ADX interlocking system based computer

A component-based language specific to complex systems modeling

Fire safety DSL based algebra

A tool for automatic formal modeling of railway interlocking systems

Domain-specific languages for embedded systems portable software development

Automatic interlocking table generation from railway topology

MTrans, a DSL for model transformation

Integrating DSL-CBI and NuSMV for Modeling and Verifiying Interlocking Systems

Similar Documents

Automatic generation and verification of interlocking tables based on Domain Specific Language for Computer Based Interlocking Systems (DSL-CBI)

A new test environment for PLC based interlocking systems

The study of TYJL-ADX interlocking system based computer

A component-based language specific to complex systems modeling

Fire safety DSL based algebra

A tool for automatic formal modeling of railway interlocking systems

Domain-specific languages for embedded systems portable software development

Automatic interlocking table generation from railway topology

MTrans, a DSL for model transformation

Integrating DSL-CBI and NuSMV for Modeling and Verifiying Interlocking Systems