Семинар "Информационные технологии и системы"

28 марта 2024 г. (четверг), 14:30, конференц-зал ИAиЭ СО РАН.

Тема семинара:

Проектирование прикладного программного обеспечения программируемых логических контроллеров на основе визуальных моделей
(диссертация на соискание учёной степени кандидата технических наук по специальности 2.3.5 – Математиче-ское и программное обеспечение вычислительных систем, комплексов и компьютерных сетей)

Докладчик: Парамонов Андрей Владимирович
(Оренбургский государственный университет, г. Оренбург)

Аннотация:
В работе представлены визуальные модели и алгоритмы проектирования прикладного программного обеспечения (ПО) программируемых логических контроллеров (ПЛК). Приведены основные результаты исследования существующих языков, процессов и методов реализации прикладного ПО ПЛК в системах логического управления. Описаны предлагаемые визуальные модели автоматизированных технологических комплексов, отличающиеся от известных возможностью их использования в качестве человеко-машинного интерфейса при детальном проектировании, что позволяет обеспечить согласованность проектных решений. Представлен алгоритм построения визуальных моделей и алгоритм проектирования спецификаций, отличающийся совместным использованием визуальных моделей и формальных спецификаций при детальном проектировании программных блоков.

Автореферат (pdf)

Если нет возможности присутствовать очно (рекомендуется), то ссылка для удаленного подключения -- https://iae-nsk.ktalk.ru/kxiane69aanc

Страница семинара