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