"H.И.Туккель, А.А.Шалыто "SWITCH-технология - автоматный подход к созданию программного обеспечения "реактивных" систем"" - читать интересную книгу автора

процесс, а программа, моделирующая объект - как другой
процесс.
При этом был создан вариант SWITCH-технологии для
разработки программного обеспечения более широкого класса
систем управления - "реактивных" ("reactive") систем,
реагирующих на события [3-8]. Такие системы обычно
реализуются на промышленных компьютерах, работающих под
управлением операционных систем реального времени.
Предлагаемый вариант технологии характеризуется
следующими особенностями:
- в качестве динамической модели применяется смешанный
автомат [1];
- для формального описания автоматов используются графы
переходов;
- расширена (по сравнению с [1]) нотация, применяемая
при построении графов переходов (например, в части
перечисления вложенных автоматов);
- на этапе изучения предметной области строится
структурная схема системы, на основе которой могут быть
построены диаграммы случаев использования [7];
- на этапе анализа состояния автоматов первоначально
определяются по выделенным состояниям объекта управления,
а при большом их количестве - по алгоритму управления,
построенному в другой нотации (например, в виде схем
алгоритмов [9]);
- множество полученных состояний при необходимости
декомпозируется. Итеративный процесс анализа может
выполняться многократно и завершается выделением
состояний каждого автомата;
- на этапе проектирования на основе выделенных
состояний строится система взаимодействующих автоматов;
- в отличие от традиционного программирования
выполняется кодирование состояний. При этом в каждом
автомате для различения состояний применяются
многозначные коды, в качестве которых используются
десятичные номера состояний;
- для каждого автомата определяются связи с его
"окружением" (входные и выходные воздействия), что
формализуется схемой связей;
- входные воздействия разделяются на события,
действующие кратковременно, и входные переменные,
вводимые путем опроса. События нумеруются для
использования в условиях переходов;
- прерывания обрабатываются операционной системой и
передаются программе в виде сообщений, а после этого
обрабатываются как события с помощью соответствующих
обработчиков;
- некоторые входные переменные могут формироваться в
результате сравнения входных аналоговых сигналов с
уставками;