Средства моделирования автоматных программ

Автоматная программа состоит из одного или нескольких сегментов. Сегмент имеет один вход, помеченный меткой – управляющим состоянием. Сегмент имеет один или несколько выходов. Выход реализуется оператором перехода на начало другого сегмента. Автоматная программа определяет конечный автомат в виде гиперграфа с набором управляющих состояний в качестве вершин и набором сегментов в качестве ориентированных гипердуг.
Автоматное программирование [1-3] ориентировано на класс реактивных систем (в, частности, систем управления), реализующих взаимодействие с внешним окружением программы и реагирующих на определенный набор событий (сообщений) в окружении программы.
Язык автоматного программирования строится как расширение базисного языка предикатного или императивного программирования.
Целью данной работы является разработка языковых средств и интерфейсов для моделирования систем управления посредством визуализации функционирования автоматных программ. Визуализация реализуется в числовом и графическом виде, в т.ч. и в реальном масштабе времени через панель управления в виде графического интерфейса, интегрирующей набор портов ввода для датчиков произвольной природы и вывода разнообразного вида. Предполагается реализация различных видов анализа исполняемой программы с проверкой инвариантов и возможностью пошагового исполнения. Планируется также обеспечить возможность воспроизведения повторного исполнения автоматной программы посредством запоминания истории вводимых наборов данных.

1. Шелехов В.И., Тумуров Э.Г.Технология автоматного программирования на примере программы управления лифтом // «Программная инженерия», 2017. – 18c. В печати. http://persons.iis.nsk.su/files/persons/pages/lift1.pdf
2. Шелехов В.И. Разработка автоматных программ на базе определения требований // Системная информатика, №4, 2014. — ИСИ СО РАН, Новосибирск. — C. 1-29. http://persons.iis.nsk.su/files/persons/pages/req_tech.pdf
3. Тумуров Э.Г., Шелехов В.И. Требования к системе управления квадрокоптером // Системная информатика. №5, 2015— ИСИ СО РАН, Новосибирск. — C. 39-54. http://persons.iis.nsk.su/files/persons/pages/QuadReq.pdf

Похожие записи