Инициализация конечного автомата после сбоя, теория и практика Опции Подписка на тему Сообщить другу Версия для печати Скачать тему Подписка на этот форум Режимы отображения Древовидный Переключить на: Стандартный Переключить на: Линейный

[Litkevich Yuriy]

оговорка: использую Qt и её QStateMachine, но интересует и абстрактная система.

Дано:
- Имеется оборудование с насосами,
- имеется средство двусторонней связи оборудования с компьютером и
- ПО управляющее этим оборудованием.
Программно реализован конечный автомат управления насосами.

Бывают ситуации, когда нужно инициализировать конечный автомат в зависимости от фактического текущего состояния оборудования, например, после аварийного завершения ПО.
Т.е. ПО стартует и должно определить в каком состоянии должен находится автомат, на основе сигналов с оборудования.

Для простоты предположим, что комбинация сигналов однозначно определяет текущее состояние автомата.

В практике программирования автоматов обычно из одного состояния в другое можно перейти только по событию, в частности в QStateMachine реализовано так же.


Проблема:
Т.к. физическая система находится в неком стабильном состоянии, то и событий в ней не происходит.
Как заставить автомат перейти в некое состояние минуя, возможно, многие другие?

Есть ли у кого-нибудь опыт/идеи как это сделать?

Сообщение отредактировал Litkevich Yuriy - 27.10.2015, 12:47

[Iron Bug]

Для таких систем процедура инициализации всегда сначала приводит систему в некое исходное состояние (тут могут быть тонкости в порядке выполнения действий и в проверке валидности состояний разных устройств), а потом для этого начального состояния запускается конечный автомат.