Автоматизация верификации исполняемого кода программируемого логического контроллера на основе формальной модели
Аннотация
Выпускная квалификационная работа бакалавра 95 с., 19 рис., 3 табл., 20 источн., 6 прил.
КОНЕЧНЫЙ АВТОМАТ, МАТЕМАТИЧЕСКАЯ МОДЕЛЬ, ВЕРИФИКАЦИЯ КОДА ПРОГРАММИРУЕМОГО ЛОГИЧЕСКОГО КОНТРОЛЛЕРА, ФОРМАЛЬНОЕ ПРЕДСТАВЛЕНИЕ КОДА, АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ ТЕХНОЛОГИЧЕСКИМ ПРОЦЕССОМ, АНАЛИЗ СТРУКТУР ЯЗЫКА ПРОГРАММИРОВАНИЯ STRUCTURED TEXT.
Объект исследования – процесс преобразования исполняемого кода ПЛК в формализованную модель.
Цель работы – реализация алгоритма, позволяющего сформировать на основе произвольного исполняемого кода программируемого логического контроллера модель в виде конечного автомата.
Методы исследования: анализ структур языка программирования Structured Text (ST) и выявление правил для построения сети конечных автоматов, исходя из первоначальной логики работы, программирование на языке Python для создания алгоритма.
Результаты работы: разработана программа, способная преобразовывать входные данные в виде кода ST в выходные данные в виде сети конечных автоматов.
КОНЕЧНЫЙ АВТОМАТ, МАТЕМАТИЧЕСКАЯ МОДЕЛЬ, ВЕРИФИКАЦИЯ КОДА ПРОГРАММИРУЕМОГО ЛОГИЧЕСКОГО КОНТРОЛЛЕРА, ФОРМАЛЬНОЕ ПРЕДСТАВЛЕНИЕ КОДА, АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ ТЕХНОЛОГИЧЕСКИМ ПРОЦЕССОМ, АНАЛИЗ СТРУКТУР ЯЗЫКА ПРОГРАММИРОВАНИЯ STRUCTURED TEXT.
Объект исследования – процесс преобразования исполняемого кода ПЛК в формализованную модель.
Цель работы – реализация алгоритма, позволяющего сформировать на основе произвольного исполняемого кода программируемого логического контроллера модель в виде конечного автомата.
Методы исследования: анализ структур языка программирования Structured Text (ST) и выявление правил для построения сети конечных автоматов, исходя из первоначальной логики работы, программирование на языке Python для создания алгоритма.
Результаты работы: разработана программа, способная преобразовывать входные данные в виде кода ST в выходные данные в виде сети конечных автоматов.