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

IAP offers its own products and solutions in the railway automation area as well as the system consulting services and system integration services in wider area of transportation systems.