IEEE Antennas and Propagation Magazine · 2013 · 11 citations · 5 references
EngineeringComputer ScienceSystems EngineeringFormal MethodsModel-based Systems EngineeringSafety EngineeringAutomata TheoryProgrammable Logic ControllersRail TransportationSafety InterlocksSafety SystemsSafety Systems TestingFormal Methods For SafetyInterlock LogicInterlocking SystemsProgrammable Logic Controller Safety SystemsRail Safety EngineeringRail Signaling SystemsRailway Control SystemsRailway Systems Engineering
Railway signaling has become more important over the years, with the increase in railway traffic and the use of highspeed trains. Since the most important aspect of a railway signaling system is safety, the decision-making "interlocking system" is the critical element of a railway-signaling system. To satisfy the safety standards set for railway-signaling systems, the interlocking software design must be taken into account, using formal methods. In this study, an automata-based railway signaling and interlocking system is introduced and implemented, using a fail-safe programmable logic controller (PLC) on a scale railway model.
5