Grupo de pesquisa

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

Há muitos desafios no desenvolvimento de sistemas embarcados e ciberfísicos que se originam em diferentes práticas de design usadas na engenharia mecânica e de software. Há enormes oportunidades de pesquisa nesta área, já que os sistemas embarcados estão se tornando cada vez mais importantes em muitos setores da indústria.

Os interesses de pesquisa do Cyber-Physical Systems Lab incluem programação orientada a processos, psicologia de software e linguagens específicas de domínio para sistemas de controle (sistemas ciber-físicos, CLPs, sistemas embarcados, IIoT, sistemas de controle distribuído, etc.), sistemas críticos de segurança, engenharia de requisitos, semântica formal, verificação dinâmica e estática (verificação de modelos, verificação dedutiva, design ontológico).

Experiências de ensino em grupo

Cursos de 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 pós-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