Modelling of a PLC-Based Railway Traffic Control System

Reference:

Kimmo Varpaaniemi. Modelling of a PLC-based railway traffic control system. In Nisse Husberg, Tomi Janhunen, and Ilkka Niemelä, editors, Leksa Notes in Computer Science: Festschrift in Honour of Professor Leo Ojala, number HUT-TCS-A63 in HUT-TCS Research Reports, pages 131–140. Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finland, October 2000.

Abstract:

This paper describes the modelling of a distributed PLC system that was developed by Mipro Oy and controls the traffic in the railway section between Haapamäki and Seinäjoki. The PROD tool of HUT-TCS is used for analysing the model.

Keywords:

programmable logic controllers

Suggested BibTeX entry:

@incollection{VarpaaniemiKimmo-Vrp00b,
    address = {Espoo, Finland},
    author = {Kimmo Varpaaniemi},
    booktitle = {{L}eksa Notes in Computer Science: {F}estschrift in Honour of {P}rofessor {L}eo {O}jala},
    editor = {Nisse Husberg and Tomi Janhunen and Ilkka Niemel{\"{a}}},
    month = {October},
    number = {HUT-TCS-A63},
    pages = {131--140},
    publisher = {Laboratory for Theoretical Computer Science, Helsinki University of Technology},
    series = {HUT-TCS Research Reports},
    title = {{M}odelling of a {P}{L}{C}-Based Railway Traffic Control System},
    year = {2000},
}