26 мая в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Владимир Евгеньевич Зюбин, д.т.н., в.н.с. лаборатории киберфизических
систем Института автоматики и электрометрии СО РАН
Тема доклада: Процессно-ориентированное программирование промышленных
киберфизических систем
Анализ современного состояния и тенденций развития технологий проектирования и верификации такой бурно-развивающейся области как киберфизические системы (КФС) показывает особую востребованность в решении нетривиальных задач в области математического и программно-алгоритмического обеспечения средств разработки КФС. Эти задачи включают вопросы разработки бесшовных технологий проектирования и прототипирования КФС; вопросы автоматизации контроля функциональной безопасности КФС; а также вопросы создания дружественных языковых и инструментальных средств спецификации требований к КФС.
Теоретические и практические результаты исследований в области проектирования и верификации КФС очевидно демонстрирует тренд перехода к комплексным инструментам, включающим языковые и инструментальные средства моделирования, прототипирования, инженерии требований и верификации, как динамической, так и статической. Таким образом, разработка новых средств моделирования, методов спецификации алгоритмов управления КФС, методов спецификации требований к ПО КФС и методов верификации ПО КФС; и создание на их основе бесшовных (tool-chain) инструментов являются чрезвычайно актуальными направлениями исследований, особенно при насущной необходимости импортозамещения.
В Институте автоматики и электрометрии СО РАН ведутся работы в области решения означенного круга вопросов в рамках процессно-ориентированного подхода. Базовая идея подхода — описание алгоритма управления КФС в виде набора взаимодействующих параллельных процессов с FSM-подобной организацией исполнения.
Доклад посвящен обзору языковых и инструментальных средств, образующих процессно- ориентированную парадигму разработки программного обеспечения промышленных КФС.