Route safety verification of train control system by FTA modeling in SCADE
暂无分享,去创建一个
Haifeng Wang | Yong Zhang | Bin Ning | Tan Chen | Ming Chai | Shengjie Tang
[1] Jing Wang,et al. An Introduction to Parallel Control and Management for High-Speed Railway Systems , 2011, IEEE Transactions on Intelligent Transportation Systems.
[2] Stefania Gnesi,et al. Model driven development of railway systems using diversity , 2008, Comput. Syst. Sci. Eng..
[3] S. Morar. Evolution of Communication Based Train Control worldwide , 2010 .
[4] El Miloudi El Koursi,et al. European railway traffic management system validation using UML/Petri nets modelling strategy , 2010 .
[5] Dianxiang Xu,et al. Integrating Safety Analysis With Functional Modeling , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[6] Felix Schmid,et al. A Topology-Based Model for Railway Train Control Systems , 2013, IEEE Transactions on Intelligent Transportation Systems.
[7] Haifeng Wang,et al. Modeling Communications-Based Train Control system:A case study , 2010, 2010 The 2nd International Conference on Industrial Mechatronics and Automation.
[8] Felix Schmid,et al. A novel framework for supporting the design of moving block train control system schemes , 2014 .
[9] Mohamed Ghazel,et al. Formalizing a subset of ERTMS/ETCS specifications for verification purposes , 2014 .
[10] Marc Antoni,et al. Formal validation method and tools for French computerized railway interlocking systems , 2008 .
[11] Massood Towhidnejad,et al. Validation of object oriented software design with fault tree analysis , 2003, 28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings..
[12] Haifeng Wang,et al. Novel Online Safety Observer for Railway Interlocking System , 2013 .
[13] Luca Aceto,et al. Reactive Systems: Modelling, Specification and Verification , 2007 .
[14] Chunhai Gao,et al. Study on model-based safety verification of Automatic Train Protection system , 2009, 2009 Asia-Pacific Conference on Computational Intelligence and Industrial Applications (PACIIA).