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