Interlocking systems are the core components of railway signalization systems. They ensure the safe movement of the trains on railway tracks by being the main decision making unit of the railway signalization systems. Therefore it is crucial to predetermine the errors in interlocking systems. In this work a new environment designed to test the reliability of the PLC based interlocking systems is presented.
展开▼
