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

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

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

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

Магистратура:

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

Бакалавриат:

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

Проекты

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

Публикации

  • An Ontology-based Approach to Support Formal Verification of Concurrent Systems
    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.,
  • 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., 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,
  • Garanina N. O., Zyubin V., Lyakh T., Gorlatch S
    An Ontology of Specification Patterns for Verification of Concurrent Systems
    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
    Hyper-automaton: A Model of Control Algorithms
    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,

Состав