Groupe de recherche

Laboratoire de systèmes cyberphysiques

Le développement des systèmes embarqués et cyber-physiques présente de nombreux défis découlant des différentes pratiques de conception utilisées en ingénierie mécanique et logicielle. Il existe d'énormes possibilités pour la recherche dans ce domaine, car les systèmes embarqués deviennent de plus en plus importants dans de nombreux secteurs.

Les domaines de recherche du Laboratoire de systèmes cyberphysiques incluent la programmation orientée processus, la psychologie des logiciels et les langages spécifiques à des domaines pour les logiciels de contrôle (systèmes cyberphysiques, automates programmables industriels, systèmes embarqués, IIoT, systèmes de contrôle distribués, etc.), les systèmes critiques pour la sécurité, l'ingénierie des exigences, la sémantique formelle, la vérification dynamique et statique (vérification de modèle, vérification déductive, conception ontologique).

Expériences d'enseignement en groupe

Cours universitaires de deuxième cycle

  • Méthodologie de la recherche et du développement
  • Systèmes ouverts
  • Analyse des algorithmes
  • Vérification de modèle
  • Méthodes formelles en génie logiciel

Cours universitaires de premier cycle

  • Ingénierie des systèmes d'information modernes
  • ngénierie et programmation des systèmes
  • Programmation orientée processus
  • Systèmes hybrides avec architecture ARM
  • Microcontrôleurs programmables
  • Systèmes embarqués
  • Bases de la programmation orientée objet
  • Traitement d'images
  • Conception des composants du système d'exploitation
  • Techniques modernes de test et de vérification des logiciels
  • Langages fonctionnels de programmation distributive

Projets sélectionnés

  • Vérification dynamique des algorithmes de contrôle dans les systèmes cyberphysiques à l'aide de simulateurs logiciels
  • IndustrialC : un langage de programmation orienté processus pour l'automatisation basée sur les MCU
  • Système de contrôle du télescope LSVT (Large Solar Vacuum Telescope)
  • Utilisation de la programmation orientée processus dans LabVIEW
  • Laboratoires virtuels pour l'enseignement de la programmation de contrôle
  • Complexité de l'information : base psychologique pour le raisonnement sur la pragmatique
  • Logiciel pour la simulation physique de la croissance des lingots de silicium de grande taille
  • Langage Reflex : un langage de programmation orienté processus pour l'automatisation par API
  • Hyper-Automaton : un framework conceptuel pour la programmation orientée processus
  • Système de contrôle automatisé pour un four destiné à la croissance de mono-crystaux de silicium
  • Système de contrôle multiprocesseur VME pour machine CNC
  • Vérification déductive des logiciels basés sur des boucles de contrôle pour les systèmes réactifs
  • Vérification de modèle pour les systèmes concurrents
  • Sémantique formelle des programmes et systèmes de programmes
  • Conception ontologique pour les systèmes conceptuellement complexes

Membres du groupe

Vladimir Zyubin
Vladimir Zyubin
Chef de laboratoire/groupe de recherche
Natalia Garanina
Natalia Garanina
Chercheur
Igor Anureev
Igor Anureev
Chercheur
Andrei Rozov
Andrei Rozov
Chercheur
Sergey Staroletov
Sergey Staroletov
Chercheur
Tatiana Liakh
Tatiana Liakh
Chercheur