28 марта 2024 г. (четверг), 14:30, конференц-зал ИAиЭ СО РАН.
Тема семинара:
Проектирование прикладного программного обеспечения программируемых логических контроллеров на основе визуальных моделей (диссертация на соискание учёной степени кандидата технических наук по специальности 2.3.5 – Математиче-ское и программное обеспечение вычислительных систем, комплексов и компьютерных сетей)
Докладчик: Парамонов Андрей Владимирович (Оренбургский государственный университет, г. Оренбург)
Аннотация: В работе представлены визуальные модели и алгоритмы проектирования прикладного программного обеспечения (ПО) программируемых логических контроллеров (ПЛК). Приведены основные результаты исследования существующих языков, процессов и методов реализации прикладного ПО ПЛК в системах логического управления. Описаны предлагаемые визуальные модели автоматизированных технологических комплексов, отличающиеся от известных возможностью их использования в качестве человеко-машинного интерфейса при детальном проектировании, что позволяет обеспечить согласованность проектных решений. Представлен алгоритм построения визуальных моделей и алгоритм проектирования спецификаций, отличающийся совместным использованием визуальных моделей и формальных спецификаций при детальном проектировании программных блоков.
Семинар "Информационные технологии и системы"
