Рассмотрена проблема построения безопасных систем железнодорожной автоматики и телемеханики (СЖАТ) на базе электронной и микропроцессорной техники, особенности СЖАТ и задачи их синтеза. Изложена теория построения безопасных дискретных систем. Описаны безопасная логика и интерфейс. Проанализированы структуры безопасности СЖАТ и приводятся методы оценки безопасности. Рассмотрены проблема создания надежных программ для реализации управляющих алгоритмов и проблема передачи ответственной информации в микроэлектронных системах.
Предназаначена для специалистов - разработчиков, проектировщиков и эксплуатационщиков, занимающихся системами ж-д автоматики и телемеханики, а также полезна студентам и аспирантам железнодорожных вузов