Novel Online Safety Observer for Railway Interlocking System
暂无分享,去创建一个
[1] Gianmaria De Tommasi,et al. An Efficient Approach for Online Diagnosis of Discrete Event Systems , 2009, IEEE Transactions on Automatic Control.
[2] Edmund M. Clarke,et al. Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .
[3] Faron Moller,et al. Automated Verification of Signalling Principles in Railway Interlocking Systems , 2009, Electron. Notes Theor. Comput. Sci..
[4] Fausto Giunchiglia,et al. Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System , 1998, SAFECOMP.
[5] 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).
[6] Steven A. Gaal,et al. Point Set Topology , 1964 .
[7] Pavol Barger,et al. A study of railway ERTMS safety with Colored Petri Nets , 2009 .
[8] Guy Juanole,et al. Observer-A Concept for Formal On-Line Validation of Distributed Systems , 1994, IEEE Trans. Software Eng..
[9] Antonio Ramírez-Treviño,et al. Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach , 2007, IEEE Transactions on Automation Science and Engineering.
[10] Nicolae Goga,et al. TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking , 2006, 2006 Canadian Conference on Electrical and Computer Engineering.
[11] Martin Leucker,et al. A brief account of runtime verification , 2009, J. Log. Algebraic Methods Program..
[12] Anne Elisabeth Haxthausen,et al. A formal approach for the construction and verification of railway control systems , 2011, Formal Aspects of Computing.
[13] Martin Kardos,et al. Model-based Runtime Verification Framework for Self-optimizing Systems , 2006, RV@CAV.
[14] Yuen Man Hon,et al. Generating Scenarios by Multi-Object Checking , 2007, MBT.
[15] Yong-Ki Yoon,et al. Analysis of the Formal Specification Application for Train Control Systems , 2009 .
[16] Yang Yang,et al. Performance evaluation of railway computer interlocking system based on queuing theory , 2003, Proceedings of the Fourth International Conference on Parallel and Distributed Computing, Applications and Technologies.
[17] Günter Hommel,et al. Towards modeling and evaluation of ETCS real-time communication and operation , 2005, Journal of Systems and Software.
[18] Haifeng Wang,et al. Modeling Communications-Based Train Control system:A case study , 2010, 2010 The 2nd International Conference on Industrial Mechatronics and Automation.
[19] Wei Li,et al. Component-Based Safety Computer of Railway Signal Interlocking System , 2008, 2008 ISECS International Colloquium on Computing, Communication, Control, and Management.
[20] Marc Antoni,et al. Formal validation method and tools for French computerized railway interlocking systems , 2008 .
[21] Nazir Ahmad Zafar. Formal specification and validation of railway network components using Z notation , 2009, IET Softw..
[22] Arnab Majumdar,et al. Metro Railway Safety: Analysis of Accident Precursors , 2012 .
[23] Antonio Hernando,et al. A logic approach to decision taking in a railway interlocking system using Maple , 2011, Math. Comput. Simul..
[24] Alfred Roelen,et al. The contribution of design to accidents , 2007 .
[25] Fausto Giunchiglia,et al. Verification of a safety-critical railway interlocking system with real-time constraints , 2000, Sci. Comput. Program..
[26] Stefania Gnesi,et al. A Formal Verification Environment for Railway Signaling System Design , 1998, Formal Methods Syst. Des..
[27] Reiko Heckel,et al. Cooperability in Train Control Systems: Specification of Scenarios using Open Nets , 2001, Trans. SDPS.
[28] Anne Elisabeth Haxthausen,et al. Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems , 2011, FM.