Исследовательская группа

Лаборатория киберфизических систем

Область интересов

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

Преподавание

Магистратура:
· Теория и практика научного исследования
· Открытые системы
· Анализ алгоритмов
· Model Checking
· Теория и практика научного исследования
· Формальные методы программной инженерии

Бакалавриат:
· Инжиниринг современных информационных систем
· Системотехника и программирование
· Процесс-ориентированное программирование
· Гибридные системы с ARM-архитектурой
· Программируемые микроконтроллеры
· Встраиваемые системы
· Основы ООП
· Разработка компонентов операционных систем
· Современные методы тестирования и верификации программного обеспечения

Проекты

· Динамическая верификация управляющих программ с использование симуляторов объекта управления
· IndustrialC: процесс-ориентированный язык для автоматизации на основе микроконтроллеров
· Система управления Большим СОлнечным Вакуумным Телескопом
· Виртуальные лабораторный практикум для обучения программированию ПЛК
· Информационная сложность: психологические основы для анализа прагматики
· Автоматизация физического имитатора роста крупногабаритных кристаллов
· Язык Reflex: процесс-ориентированный язык программирования ПЛК
· Гипер-автомат: концептуальные основы процесс-ориентированного программирования
· Система управления установкой по выращиванию монокристаллического кремния
· Мультипроцессорная система для станков с числовым программным управлением
· Дедуктивная верификация ПО реактивных систем на основе кооперативной многопоточности
· Проверка моделей для параллельных систем
· Разработка сложных систем с использованием онтологического подхода

Публикации

  • LNCS, vol 12232,
  • Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S
    Two-Step Deductive Verification of Control Software Using Reflex
    Preliminary Proceedings of A. P. Ershov Informatics Conference (PSI-19). A. P. Ershov Institute of Informatics Systems: IPC NSU, Novosibirsk, Russia, Akademgorodok, Russia,
  • Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Schulte H., Zyubin V.E
    Towards safe cyber-physical systems: the Reflex language and its transformational semantics
    14th IEEE International Siberian Conference on Control and Communications (SIBCON-2019). Tomsk State University of Control Systems and Radioelectronics, Tomsk. P.1–6.,
  • Garanina N.O., Anureev I.S., Zyubin V.E
    Constructing verification-oriented domain-specific process ontologies
    System Informatics. Iss. 14. 2019. A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk. P. 19–30.,
  • Staroletov S., Fedorov V
    An Application of Test-Driven Development Methodology into the Process of Hardware Creation (a View from a Software Perspective)
    10th workshop “Program semantics, specification and verification: Theory and applications”,
  • Staroletov S., Dubko A
    A Method to Verify Parallel and Distributed Software in C# by Doing Roslyn AST Transformation to a Promela Model
    System Informatics. P. 13-44,
  • Staroletov S. M., Shilov N. V., Zyubin V. E., Liakh T. V., Rozov A. S., Konyukhov I., Shilov I. N., Baar T., and Schulte H
    Model-Driven Methods to Design of Reliable Multiagent Cyber-Physical Systems
    Proceedings of MACSPro 2019 : Modeling and Analysis of Complex Systems and Processes, Vienna, Austria,
  • Garanina N. O., Zyubin V., Lyakh T., Gorlatch S
    New Trends in Intelligent Software Methodologies, Tools and Techniques – Proceedings of the 17th International Conference SoMeT18, Granada, Spain,
  • Automatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators
    Vestnik NSU. Series: Information Technologies 16.4. In Russian, pp. 85–94.,
  • Reflex Language: a Practical Notation for Cyber-Physical Systems
    System Informatics 12 (2018), pp. 84–104,
  • Tatiana Liah, Vladimir Zyubin
    The Reflex Language Usage to Automate the Large Solar Vacuum Telescope
    17th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM).,
  • Andrey Rozov, Vladimir Zyubin
    A hyperprocess-based approach in Arduino programming
    International Conference on Advanced Technology & Sciences (ICAT’15), Antalya,
  • Anureev I.S
    Operational semantics of Reflex
    System Informatics. Iss. 14. 2019. A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk. P. 1–10,
  • Andrei S. Rozov and Vladimir E. Zyubin
    Process-oriented programming language for MCU-based automation
    IEEE International Conference on Control and Communications, SIBCON-2013, Krasnoyarsk,
  • Zyubin V. E
    Using Process-Oriented Programming in LabVIEW
    Proceedings of the Second IASTED International Multi-Conference on “Automation, control, and information technology”: Control, Diagnostics, and Automation, Novosibirsk,
  • Zyubin V. E
    Information Complexity Hypothesis: a Conceptual Framework for Reasoning on Pragmatics Issues
    Proceedings of IEEE International Conference on Computational Technologies in Electrical and Electronics Engineering, SIBIRCON-08. Novosibirsk Scientific Center, Novosibirsk, Russia,
  • Vladimir E. Zyubin
    IEEE International Conference on Control and Communications, SIBCON-2013, Krasnoyarsk,
  • Bulavskij D., Zyubin V., Karlson N., Krivoruchko V., Mironov V
    An Automated Control System for a Silicon Single-Crystal Growth Furnace
    Autometria, Vol. 32, No 2 (1996), pp. 25–30,