By Topic

Modelling and Verification of the System Requirement Specification of Train Control System Using SDL

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Yuan, L. ; State Key Lab. of Rail Traffic Control & Safety, Beijing Jiaotong Univ., Beijing, China ; Tang, T. ; Li, K.

The importance of the specification of train control system is increasingly recognized and gained more attention in signalling field in China as the specification is the basis to ensure that the signalling system supplied by manufacturer meet the requirements of the railway administration, for example, the requirement for the interoperability of the system. The specifications which are described in natural language are probably deficient and it is inadequate that the specifications are checked only based on the experience of experts. In this paper, a modelling method was applied on the description and the verification of the System Requirement Specification, SRS, of train control system. The Specification and Description Language, SDL, was used to describe the functional behavior of the onboard equipment which is defined in the SRS. First, we defined the principles of modelling which are summarized for the purpose of the interoperability validation. Then, we applied a top-down hierarchical approach to model the functional behavior. The model started from the system level to describe the interface and refined in the block level to show the interaction of system scenarios and detailed the state transition and the working processes of the system in the process level. Debugged the SDL model, we validated the model in Telelogic Tau tool to find the problems of the SRS. The results showed that the ambiguous terms and the incompatible descriptions of the SRS can be found. It can be helpful for the modification of the SRS and the quality of train control system further.

Published in:

Autonomous Decentralized Systems (ISADS), 2011 10th International Symposium on

Date of Conference:

23-27 March 2011