Path-Based Error Coverage Prediction
Journal of Electronic Testing: Theory and Applications
Considering Workload Input Variations in Error Coverage Estimation
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
Reflections on Industry Trends and Experimental Research in Dependability
IEEE Transactions on Dependable and Secure Computing
Formal approach to railway applications
Formal methods and hybrid real-time systems
A new methodology and tool set to execute software test on real-time safety-critical systems
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Hi-index | 0.00 |
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.