Методологический семинар ИСИ СО РАН. Заседание от 26 мая 2026 года

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