Grupo de pesquisa

Laboratório de Sistemas Cibernéticos-Físicos

Programação orientada a processos, psicologia de software e linguagens específicas de domínio para software de controle (sistemas ciberfísicos, PLCs, sistemas incorporados, IIoT, sistemas de controle distribuídos etc.), sistemas críticos de segurança, engenharia de requisitos, semântica formal, verificação dinâmica e estática (verificação de modelo, verificação dedutiva, desenho ontológico).

Experiências de ensino em grupo

Cursos de pós-graduação

  • Metodologia de pesquisa e desenvolvimento
  • Sistemas abertos
  • Análise de algoritmos
  • Verificação de modelos
  • Métodos formais de engenharia de software

Cursos de graduação

  • Engenharia de sistemas de informações modernos
  • Engenharia e programação de sistemas
  • Programação orientada a processos
  • Sistemas híbridos com a arquitetura ARM
  • Microcontroladores programáveis
  • Sistemas incorporados
  • Noções básicas sobre programação orientada a objetos
  • Processamento de imagens
  • Design de componentes de SO
  • Técnicas modernas de verificação e teste de software
  • Linguagens funcionais da programação distribuitiva

Projetos selecionados

  • Verificação dinâmica de algoritmos de controle em sistemas ciberfísicos usando simuladores de software
  • IndustrialC: uma linguagem de programação orientada a processos para automação baseada em MCU
  • Sistema de controle para o Large Solar Vacuum Telescope
  • Usando programação orientada a processos no LabVIE
  • Laboratórios virtuais para ensino de programação de controle
  • Complexidade das informações: Base psicológica para raciocinar sobre a pragmática
  • Software para simulação física de lingotes de silício de grande porte em crescimento
  • Linguagem Reflex: uma linguagem de programação orientada a processos para automação baseada em PLC
  • Hyper-Automaton: uma estrutura conceitual para programação orientada a processos
  • Sistema de controle automatizado para um forno de crescimento de cristal único de silício
  • Sistema de controle multiprocessador baseado em VME para máquina CNC
  • Verificação dedutiva de software com base em loop de controle para sistemas reativos
  • Verificação de modelo para sistemas simultâneos
  • Semântica formal de programas e sistemas de programas
  • Design ontológico para sistemas conceitualmente complexos

Membros do Grupo

Vladimir Zyubin
Vladimir Zyubin
Chefe de Laboratório/Grupo de Pesquisa
Natalia Garanina
Natalia Garanina
Pesquisador
Igor Anureev
Igor Anureev
Pesquisador
Andrei Rozov
Andrei Rozov
Pesquisador
Sergey Staroletov
Sergey Staroletov
Pesquisador
Tatiana Liakh
Tatiana Liakh
Pesquisador