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

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

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

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

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

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

Бакалавриат

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

Проекты

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

Состав