A case study in timed CSP: The railroad crossing problem

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1201, Issue , 1997, Pages 69-74

  Lai, Luming ^a   Watson, Phil ^a  

^a UNIVERSITY OF BRADFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; INTERACTIVE COMPUTER SYSTEMS; RAILROAD CROSSINGS; RAILROADS;

BENCH-MARK PROBLEMS; REAL TIME; TIMED CSP;

REAL TIME SYSTEMS;

EID: 84874870231     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0014714     Document Type: Conference Paper

References (9)

1. J. Davies. Specification and Proof in Real-Time CSP. D.Phil thesis, Computing Laboratory, Oxford University, published by Cambridge University Press, 1993.
2. J. Davies. Setting real-time CSP. Internal note, Computing Laboratory, Oxford University, 1994.
3. A.S. Evans, D.R.W. Holton, L. Lai and P. Watson. A comparison of formal realtime specification languages. In Proceedings of the Northern Formal Methods Workshop, Ilkley, UK, 1996.
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.
5. C.L. Heitmeyer and D. Mandrioli (eds.). Formal Methods for Real-Time Computing. John Wiley & Sons, 1996.
6. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall International, London, 1985.
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.
8. I. Lee, H. Ben-Abdallah and J. Choi. A process algebraic method for the specification and analysis of real-time systems. In [5].
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.