Development of verification and conformance testing tools for a railway signaling communication protocol-Reference-Cited by-同舟云学术

Development of verification and conformance testing tools for a railway signaling communication protocol

Published:2009-02 Issue:2 Volume:31 Page:362-371
ISSN:0920-5489
Container-title:Computer Standards & Interfaces
language:en
Short-container-title:Computer Standards & Interfaces

Author:

Lee Jae-Ho,Hwang Jong-Gyu,Shin Ducko,Lee Kang-Mi,Kim Sung-Un

Publisher

Elsevier BV

Subject

Law,Hardware and Architecture,Software

Reference8 articles.

1. Performance evaluation and verification of communication protocol for railway signaling systems;Lee;Computer Standards & Interfaces in Elsevier,2005

2. D. Schwabe, Formal Techniques for the Specification and Verification of Protocol, Ph.D Thesis, Univ. of California Los Angeles, 1981.

3. Tableau-based model-checking in the propositional mu-calculus;Cleaveland;Acta Informatica,1990

4. Network Protocol for Railroad Signal System, KRS SG 0063-06, May, 2006.

5. Analysis for frame error rate of a data transmission protocol between CTC and SCADA;Kang;Journal of the Korean society for railway,2004

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Application-oriented Serial Interface Communication Protocols Formal Modeling Method;2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C);2021-12

2. Formal Design of Multi-Function Vehicle Bus Controller;IEEE Transactions on Intelligent Transportation Systems;2021-06

3. A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication Requirements;IEEE Transactions on Industrial Electronics;2017-08

4. An evaluation of train control information systems for sustainable railway using the analytic hierarchy process (AHP) model;European Transport Research Review;2017-06-30

5. Using timed automata for modeling, simulating and verifying networked systems controller’s specifications;Neural Computing and Applications;2015-11-21