Paper Title:
Safety Requirements Model-Based Safety Test Automation of Train Control System of High Speed Railway in China
  Abstract

Train control system is a safety-critical system, which requires a thorough safety testing before they are deployed. But the traditional technology of test automation is not sound for safety test of safety-critical software system because of its just aiming at the system functional requirements. Focusing on the safety requirements, this paper addresses a new method to perform safety test of safety-critical system based on safety requirement by using model-based test. The method presents safety automata to express safety properties in term of safety requirements and extract safety model from the safety requirements. It also provides a new technique for automatic generation of safety test case suite. By using the method, we have designed an automatic testing framework and developed an automatic testing platform, which has been applied to standard testing the product of train control system in term of the requirements of Ministry of railways in china, and implement effectively the functional and safety test of the product of train control system in china.

  Info
Periodical
Edited by
Honghua Tan
Pages
2768-2774
DOI
10.4028/www.scientific.net/AMM.29-32.2768
Citation
G. Yu, Z. W. Xu, "Safety Requirements Model-Based Safety Test Automation of Train Control System of High Speed Railway in China", Applied Mechanics and Materials, Vols. 29-32, pp. 2768-2774, 2010
Online since
August 2010
Export
Price
$32.00
Share

In order to see related information, you need to Login.

In order to see related information, you need to Login.

Authors: Feng Wei Sun, Li Juan Yuan
Chapter 3: Information Technologies, WEB and Networks Engineering, Information Security, E-Engineering, Software Application and Development
Abstract:The finite automata theory extended and then the timing parallel automata theory is got and applied in the software process modeling. The...
1537
Authors: Xiao Peng Hou, You Neng Huang
Chapter 2: Mechatronics, Robotics, Control and Automation
Abstract:Communication based train control system as a train control system is designed to ensure driving safety, the system description and system...
211