Username   Password       Forgot your password?  Forgot your username? 

Predicting Accidents in Interlocking Systems: An SHA Model-Based Approach

Volume 13, Number 6, October 2017 - Paper 11  - pp. 897-912
DOI: 10.23940/ijpe.17.06.p11.897912

Yan Wang, Wen Zhong, Xiaohong Chen*, Jing Liu

Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China

(Submitted on July 25, 2017; Revised on August 30, 2017; Accepted on September 15, 2017)

(This paper was presented at the Third International Symposium on System and Software Reliability.)


In recent days, rail transit accidents happen from time to time, but the causes are difficult to be found. According to the stochastic and real-time characteristics of equipment faults, three layer models based on stochastic hybrid automata (SHA) are proposed for interlocking systems. The three layer models consist of a system model, a monitoring model and a fault prediction model. The accidents caused by the equipment faults are predicted by simulating these models together on UPPAAL-SMC platform. The main contributions of this paper include: (1) extracting model patterns for interlocking systems (2) presenting a pattern-based system model generation process and an automatic generation method of monitoring model based on time constraints and (3) defining the accidents prediction model of collision accidents to predict the accidents and monitoring accident causes through model simulation.


References: 19

    1. "7.23" Yong Wen line special major railway traffic accident investigation report [EB/0L].(2011-12-25) [2013-02-10]. http://www/
    2. A. Bemporad and S. D. Cairano, “Optimal Control of Discrete Hybrid Stochastic Automata. Hybrid Systems: Computation and Control,” Springer Berlin Heidelberg, 2005
    3. L. Bortolussi and A. Policriti, “Stochastic Programs and Hybrid Automata for (Biological) Modeling,” Conference on Computability in Europe: Mathematical Theory and Computational Practice, Vol.5635, pp.37-48, Springer-Verlag, 2009
    4. P. Bulychev, A. David, K. G. Larsen, M. Mikučionis, D. B. Poulsen, and A. Legay, et al. “Uppaal-smc: Statistical Model Checking for Priced Timed Automata,” Electronic Proceedings in Theoretical Computer Science, 85, 2012
    5. G. Carmignani, “An Integrated Structural Framework to Cost-based Fmeca: the Priority-cost Fmeca,” Reliability Engineering & System Safety, 94(4), 861-871, 2009
    6. G. Chen, Z. Yang, J. Zhao, and Z. Fei, “Dynamic Bayesian Networks Method of Safety Analysis Based on Reliability Block Diagram,” in Proceedings of IEEE International Conference on Reliability, Maintainability and Safety pp.1047-1051, 2015
    7. M. L. Chiozza and C. Ponzetti, “Fmea: a Model for Reducing Medical Errors,” Clinica chimica acta; international journal of clinical chemistry, 404(1), 75, 2009
    8. S. K. Chen, B. H. Mao, H. E. Tian, J. F. Liu, and H. D. Liu, “Reliability Evaluation of Railway Traction Power Systems by Fault Tree Analysis,” Journal of the China Railway Society, 28(6), 123-129, 2006
    9. G. B. A. David and K. G. Larsen, “A Tutorial on Uppaal 4.0,” Department of Computer Science, 4(12), 200—236, 2006
    10. X. Feng and X. F. Wang, “Analysis on Reliability and Performance of Computer-based Interlocking System with the Dynamic Fault Tree Method,” Journal of the China Railway Society, 33(12), 78-82, 2011
    11. V. Hartonas-Garmhausen, A. Cimatti, E. Clarke, and F. Giunchiglia, “Verification of a Safety-critical Railway Interlocking System with Real-time Constraints,” Science of Computer Programming, 36(1), 53-64, 2000
    12. U. H. D. Ing, R. W. D. Ing, and J. H. D. Ing, “Acceleration and Braking Control for Train with Logic Control for Even force and Minimum Braking Distance,” DE2522958, 1976
    13. H. Jin, Zhang, and Wu. “Urban Rail Transit Risk Management System Establishiment,” Urban Rapid Rail Transit, 2010
    14. Y. Jiang, B. Cukic, and Y. Ma, “Techniques for Evaluating Fault Prediction Models,” Empirical Software Engineering, 13(5), 561-595, 2008
    15. T. M. Khoshgoftaar, and N. Seliya, “Tree-based Software Quality Estimation Models for Fault Prediction,” in Proceedings of the 8th IEEE Symposium on Software Metrics, pp.203-214, 2002.
    16. X. Y. Lei, H. Huang, M. T. Sun, and Q. J. Liu. “Dynamic Property Real-time Monitoring System of Railway Turnout,” CN 104787085 A, 2015
    17. Q. Z. Pang, Y. F. Li, F. Lei, and L. U. Shun Qing, “Discussion on the Safety Assessment for the Manufacture of Oxygen Enterprise,” Journal of Safety Science & Technology, 2007
    18. C. Woo-Jin, K. Dong-Whe, and S. C. Yang, “Verification of the Validity for the Speed-limit Regulation on the Turnout System,” 8(1), 2005
    19. D. R. Zeng, H. E. Zheng-You, and Y. U. Min, “Reliability Analysis of Metro's Traction Substation,” Journal of the China Railway Society, 30(4), 22-27, 2008


      Please note : You will need Adobe Acrobat viewer to view the full articles.Get Free Adobe Reader

      This site uses encryption for transmitting your passwords.