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