Обзор книги «Синтез систем управления движением поездов на железнодорожных станциях с исключением опасных отказов»

Аннотация

В статье даётся короткая рецензия на только что вышедшую книгу профессора Вл. В. Сапожникова «Синтез систем управления движением поездов на железнодорожных станциях с исключением опасных отказов». В книге рассмотрены основы синтеза безопасных систем управления движением поездов на железнодорожных станциях. Системы управления на этапе абстрактного синтеза представляются в виде совокупности множества конечных автоматов, при реализации которых исключаются условия возникновения опасных отказов и, соответственно, возникновения катастрофических нарушений в работе, вызывающих угрозы пассажирам и перевозимым грузам. Рекомендуется для разработчиков систем управления ответственными технологическими процессами, систем автоматизированного проектирования, тестирования, технического диагностирования и мониторинга устройств автоматизации на транспорте и в промышленности, а также студентов, аспирантов, преподавателей, инженеров, специалистов в сфере синтеза систем управления.