Safe implementation of automatic microprocessor systems of level crossing on the example of the SPA-4 system

摘要

Fulfilling high requirements of safety and reliability is an importantquestion in devices of railway traffic control. Increased safety in computer systems is reached in the simplest way through redundancy of hardware and software, but also with other meth