Grupo de investigación

Laboratorio de Sistemas Ciberfísicos

Programación orientada a procesos, psicología del software y lenguajes de dominio específico para el software de control (sistemas ciberfísicos, PLC, sistemas incrustados, IIoT, sistemas de control distribuido, etc.), sistemas críticos de seguridad, ingeniería de requisitos, semántica formal, verificación dinámica y estática (comprobación de modelos, verificación deductiva, diseño ontológico).

Experiencias formativas en grupo

Cursos de posgrado

  • Metodología de investigación y desarrollo
  • Sistemas en abierto
  • Análisis de algoritmos
  • Comprobación de modelos
  • Métodos formales en ingeniería de software

Cursos de grado

  • Ingeniería de los sistemas de información modernos
  • Ingeniería de sistemas y programación
  • Programación orientada a procesos
  • Sistemas híbridos con arquitectura ARM
  • Microcontroladores programables
  • Sistemas incrustados
  • Nociones básicas de programación orientada a objetos
  • Procesamiento de imágenes
  • Diseño de componentes para SO
  • Técnicas de testeo y verificación de software moderno
  • Lenguajes funcionales de programación distributiva

Proyectos seleccionados

  • Verificación dinámica de algoritmos de control en sistemas ciberfísicos utilizando simuladores de software
  • IndustrialC: un lenguaje de programación orientado a procesos para la automatización basada en MCU
  • Sistema de control para el gran telescopio solar de vacío
  • Uso de la programación orientada a procesos en el LabVIEW
  • Laboratorios virtuales para la enseñanza de programación de control
  • Complejidad de la información: bases psicológicas para el razonamiento en pragmática
  • Software para la simulación física de la formación de lingotes de silicio de gran tamaño
  • Reflex Language: un lenguaje de programación orientado a procesos para la automatización basada en PLC
  • Hyper-Automaton: un marco de trabajo conceptual para la programación orientada a procesos
  • Sistema de control automatizado para un horno de formación de cristales simples de silicio
  • Sistema de control del multiprocesador basado en VME para máquinas CNC
  • Verificación deductiva de software basado en bucles de control para sistemas reactivos
  • Comprobación de modelos para sistemas simultáneos
  • Semántica formal de programas y sistemas de programa
  • Diseño ontológico para sistemas conceptualmente complejos

Miembros del grupo

Vladimir Zyubin
Vladimir Zyubin
Responsable del laboratorio/grupo de investigación
Natalia Garanina
Natalia Garanina
Investigador
Igor Anureev
Igor Anureev
Investigador
Andrei Rozov
Andrei Rozov
Investigador
Sergey Staroletov
Sergey Staroletov
Investigador
Tatiana Liakh
Tatiana Liakh
Investigador