Verification and conformance test generation of communication protocol for railway signaling systems

@article{Lee2007VerificationAC,
  title={Verification and conformance test generation of communication protocol for railway signaling systems},
  author={Jae-dong Lee and Jae-Il Jung and Jae-Ho Lee and Jong-Gyu Hwang and Jin-Ho Hwang and Sung Un Kim},
  journal={Computer Standards & Interfaces},
  year={2007},
  volume={29},
  pages={143-151}
}
Verification and testing are complementary techniques that are used to increase the level of confidence in the correct functioning of communication systems as prescribed by their specifications. This paper presents an experience of model checking for Korean railway signaling protocol specified in LTS (Labeled Transition System). This formal approach checks deadlock, livelock and reachability for the state and action to verify whether properties expressed in modal logic are true on… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 11 extracted citations

References

Publications referenced by this paper.
Showing 1-9 of 9 references

Principles of Protocol Engineering and Conformance Testing

  • B. Sarikaya
  • Ellis Horwood, Prentice Hall in North America
  • 1992
Highly Influential
4 Excerpts

Automated test generation from specifications based on formal description techniques

  • B. M. Chin, Y. H. Choe, S. U. Kim, J. I. Jung
  • ETRI Journal 2 (3)
  • 1997
1 Excerpt

Similar Papers

Loading similar papers…