Синтез систем управления движением поездов на железнодорожных станциях с исключением опасных отказов
Рассмотрены основы синтеза безопасных систем управления движением поездов на ж/д станциях. Системы управления на этапе абстрактного синтеза представляются в виде совокупности множества конечных автоматов, при реализации которых исключаются условия возникновения опасных отказов, соответственно, возни...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Книга |
| Опубликовано: |
СКФУ
|
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| Краткое описание: | Рассмотрены основы синтеза безопасных систем управления движением поездов на ж/д станциях. Системы управления на этапе абстрактного синтеза представляются в виде совокупности множества конечных автоматов, при реализации которых исключаются условия возникновения опасных отказов, соответственно, возникновения катастрофических нарушений в работе, вызывающих угрозы пассажирам и перевозимым грузам. |
|---|