Skip to main content
SpringerLink
Log in

A case study in timed CSP: The railroad crossing problem

  • Short Presentations
  • Conference paper
  • First Online:
Hybrid and Real-Time Systems (HART 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1201))

Included in the following conference series:

Abstract

We use timed CSP, which is an extension of the formal method CSP to problems with a real-time component, to tackle a benchmark problem for real-time systems, the railroad crossing problem.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Davies. Specification and Proof in Real-Time CSP. D.Phil thesis, Computing Laboratory, Oxford University, published by Cambridge University Press, 1993.

    Google Scholar 

  2. J. Davies. Setting real-time CSP. Internal note, Computing Laboratory, Oxford University, 1994.

    Google Scholar 

  3. A.S. Evans, D.R.W. Holton, L. Lai and P. Watson. A comparison of formal real-time specification languages. In Proceedings of the Northern Formal Methods Work-shop, Ilkley, UK, 1996.

    Google Scholar 

  4. C.L. Heitmeyer and N. Lynch. The generalized railroad crossing: a case study in formal verification of real-time systems. NRL Memorandum Report NRL/MR/5540-94-7619, Navy Research Laboratory, Washington DC, USA, 1994.

    Google Scholar 

  5. C.L. Heitmeyer and D. Mandrioli (eds.). Formal Methods for Real-Time Computing. John Wiley & Sons, 1996.

    Google Scholar 

  6. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall International, London, 1985.

    Google Scholar 

  7. L. Lai, P. Watson, A case study in Timed CSP: the Railroad Crossing Problem, Technical Report CS-01-97, Dept. of Computing, University of Bradford, January 1997.

    Google Scholar 

  8. I. Lee, H. Ben-Abdallah and J. Choi. A process algebraic method for the specification and analysis of real-time systems. In [5]

    Google Scholar 

  9. W.D. Young. Modelling and verification of a simple real-time railroad gate controller. In M.G. Hinchey and J.P. Bowen (eds.), Applications of Formal Methods, Prentice Hall, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, University of Bradford, BD7 1DP, Bradford, UK

    Luming Lai & Phil Watson

Authors
  1. Luming Lai
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Phil Watson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Oded Maler

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lai, L., Watson, P. (1997). A case study in timed CSP: The railroad crossing problem. In: Maler, O. (eds) Hybrid and Real-Time Systems. HART 1997. Lecture Notes in Computer Science, vol 1201. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014714

Download citation

  • DOI: https://doi.org/10.1007/BFb0014714

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-62600-8

  • Online ISBN: 978-3-540-68330-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation