Инициализация конечного автомата после сбоя, теория и практика |
Здравствуйте, гость ( Вход | Регистрация )
Инициализация конечного автомата после сбоя, теория и практика |
Litkevich Yuriy |
27.10.2015, 12:47
Сообщение
#1
|
разработчик РЭА Группа: Сомодератор Сообщений: 9669 Регистрация: 9.1.2008 Из: Тюмень Пользователь №: 64 Спасибо сказали: 807 раз(а) Репутация: 94 |
оговорка: использую Qt и её QStateMachine, но интересует и абстрактная система.
Дано: - Имеется оборудование с насосами, - имеется средство двусторонней связи оборудования с компьютером и - ПО управляющее этим оборудованием. Программно реализован конечный автомат управления насосами. Бывают ситуации, когда нужно инициализировать конечный автомат в зависимости от фактического текущего состояния оборудования, например, после аварийного завершения ПО. Т.е. ПО стартует и должно определить в каком состоянии должен находится автомат, на основе сигналов с оборудования. Для простоты предположим, что комбинация сигналов однозначно определяет текущее состояние автомата. В практике программирования автоматов обычно из одного состояния в другое можно перейти только по событию, в частности в QStateMachine реализовано так же. Проблема: Т.к. физическая система находится в неком стабильном состоянии, то и событий в ней не происходит. Как заставить автомат перейти в некое состояние минуя, возможно, многие другие? Есть ли у кого-нибудь опыт/идеи как это сделать? Сообщение отредактировал Litkevich Yuriy - 27.10.2015, 12:47 |
|
|
Iron Bug |
31.10.2015, 13:18
Сообщение
#2
|
Профессионал Группа: Модератор Сообщений: 1611 Регистрация: 6.2.2009 Из: Yekaterinburg Пользователь №: 533 Спасибо сказали: 219 раз(а) Репутация: 12 |
я работала конечными автоматами в промышленной автоматизации. обычно система сначала приводится в некое начальное состояние, а потом она переходит из одного состояния в другое, а программа их отслеживает и управляет автоматикой. мы для таких вещей сами писали код на плюсах, он несложный.
очевидно, в случае с QStateMachine это проблемы реализации. видимо, код писали теоретики, которые никогда не работали с железом. в нормальной реализации автомат всегда можно привести в любое его состояние, потому что в реальной жизни в системах случаются сбои и периодически приходится запускать управление из произвольного состояния оборудования. может, тебе лучше поискать другую реализацию или вообще самому написать то, что тебе нужно. |
|
|
ahalaj |
1.11.2015, 12:35
Сообщение
#3
|
Студент Группа: Участник Сообщений: 47 Регистрация: 14.6.2014 Пользователь №: 4166 Спасибо сказали: 13 раз(а) Репутация: 1 |
... тебе лучше поискать другую реализацию или вообще самому написать то, что тебе нужно. Насчёт "самому написать то, что тебе нужно". Я думаю что это или это (у второго уши растут из первого) вполне можно использовать чтобы уловить основной принцип. Хотя это и на C#, но в качестве отправной точки IMHO вполне подойдёт. И наверное реализация Simple State Machine поменьше чем QStateMachine, и к тому же Simple State Machine реально работает, я лично видел использование в нескольких проектах (не моих и без исходников, найдено было путём реверсинга тех самых проектов, сейчас просто вспомнилось в процессе чтения этого треда). Сообщение отредактировал ahalaj - 1.11.2015, 12:39 |
|
|
Текстовая версия | Сейчас: 18.4.2024, 5:36 |