Experimental evaluation of computer-based railway control systems
- 22 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 380-384
- https://doi.org/10.1109/ftcs.1997.614112
Abstract
Several factors are creating pressure for the enhancement of methodologies and techniques for the validation of computer-based railway control systems. These factors are related to the introduction of new technologies and equipment, the design of interoperable railway networks in Europe, and the new strong competition in the market of railway products. This paper presents LIVE (Low-Intrusion Validation Environment), the validation environment developed at Ansaldo-Cris to experimentally evaluate the dependability of the new families of computer-based railway control systems. The methodological framework for LIVE is summarized. LIVE integrates fault injection and software testing techniques to achieve an accurate and nonintrusive analysis of a system prototype. Such evaluation is needed to ensure full compliance with the new dependability standards emerging for railway apparatus. The test results of a trial application are presented. These results highlight the importance of the quality of the test set and its influence on the final evaluation of system dependability.Keywords
This publication has 4 references indexed in Scilit:
- The design concepts and operational results of fault-tolerant computer systems for the Shinkansen train controlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- SACEM: A fault tolerant system for train speed controlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Architecture and safety requirements of the ACC railway interlocking systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Effect of System Workload on Operating System Reliability: A Study on IBM 3081IEEE Transactions on Software Engineering, 1985