研究小组

网络物理系统实验室

面向过程的编程、软件心理学和拥有领域专用语言的控制软件(网络物理系统、PLC、嵌入式系统、IIoT、分布式控制系统等)、安全关键系统、需求工程、形式语义、动态和静态验证(模型检查、演绎验证、本体设计)。

团队教学经验

研究生课程

  • 研究开发方法学
  • 开放式系统
  • 算法分析
  • 模式检查
  • 软件工程中的正规方法

本科生课程

  • 现代信息系统的工程设计
  • 系统工程和编程
  • 面向过程的编程
  • 采用 ARM 架构的混合系统
  • 可编程微控制器
  • 嵌入式系统
  • 面向对象编程的基础知识
  • 图像处理
  • 操作系统组件设计
  • 现代软件测试和验证技术
  • 分布式编程的功能语言

选定项目

  • 使用软件模拟器对网络物理系统中的控制算法进行动态验证
  • 工业 C: 基于 MCU 自动化的面向过程编程语言
  • 大型太阳真空望远镜控制系统
  • 在 LabVIEW 中使用面向过程编程
  • 用于控制编程教学的虚拟实验室
  • 信息复杂性:实用学推理的心理基础
  • 用于大型硅锭生长的物理模拟软件
  • Reflex 语言:基于 PLC 自动化的面向过程编程语言
  • 超级自动机:面向过程的程序设计概念框架
  • 硅单晶生长炉自动控制系统
  • 基于 VME 的数控机床多处理器控制系统
  • 基于控制循环的反应式系统软件的演绎验证
  • 并发系统的模型检查
  • 程序和程序系统的正式语义
  • 概念上复杂系统的本体设计

小组成员

Vladimir Zyubin
Vladimir Zyubin
研究实验室/小组负责人
Natalia Garanina
Natalia Garanina
研究员
Igor Anureev
Igor Anureev
研究员
Andrei Rozov
Andrei Rozov
研究员
Sergey Staroletov
Sergey Staroletov
研究员
Tatiana Liakh
Tatiana Liakh
研究员