Modelling and Analysing a PLC-Based Railway Traffic Control System

Reference:

Kimmo Varpaaniemi. Modelling and analysing a PLC-based railway traffic control system. In Ludwik Czaja, editor, Concurrency, Specification and Programming: Proceedings of the CS&P'2003 Workshop, Czarna k. Ustrzyk Dolnych, Poland, September 25–27, 2003, Volume 2, pages 539–549. Zakład Graficzny UW, zam. 591/2003, Warsaw, Poland, 2003.

Abstract:

This paper reports a case study where a distributed PLC-based railway traffic control system was modelled and analysed.

Keywords:

programmable logic controllers, railway traffic control, formal methods, bounded model checking

Suggested BibTeX entry:

@inproceedings{VarpaaniemiKimmo-VrpCSP03,
    author = {Kimmo Varpaaniemi},
    booktitle = {{C}oncurrency, Specification and Programming: Proceedings of the {C}{S}\&{P}'2003 Workshop, {C}zarna k. {U}strzyk {D}olnych, {P}oland, {S}eptember 25--27, 2003, Volume 2},
    editor = {Ludwik Czaja},
    pages = {539--549},
    publisher = {Zak{\l}ad Graficzny UW, zam. 591/2003, Warsaw, Poland},
    title = {{M}odelling and Analysing a {P}{L}{C}-Based Railway Traffic Control System},
    year = {2003},
}