연구 그룹

사이버 물리 시스템 연구소

프로세스 지향 프로그래밍, 제어 소프트웨어(사이버 물리 시스템, PLC, 임베디드 시스템, IIoT, 분산 제어 시스템 등)용 소프트웨어 심리학 및 도메인 특화 언어, 안전 필수 시스템, 요구사항 엔지니어링, 형식 의미론, 동적 및 정적 검증(모델 검사, 연역적 검증, 온톨로지 설계)

그룹 교육 경험

석사 과정

  • 연구 및 개발 방법론
  • 개방형 시스템
  • 알고리즘 분석
  • 모델 검사
  • 소프트웨어 엔지니어링의 정형 기법

학사 과정

  • 최신 정보 시스템 엔지니어링
  • 시스템 엔지니어링 및 프로그래밍
  • 프로세스 지향 프로그래밍
  • 하이브리드 시스템 및 ARM 아키텍처
  • 프로그래밍 가능한 마이크로컨트롤러
  • 임베디드 시스템
  • 객체 지향 프로그래밍 입문
  • 이미지 처리
  • OS 구성 요소 설계
  • 최신 소프트웨어 테스트 및 검증 방법
  • 분산형 프로그래밍의 함수형 언어

선택 프로젝트

  • 소프트웨어 시뮬레이터를 이용한 사이버 물리 시스템의 제어 알고리즘의 동적 검증
  • IndustrialC: MCU 기반 자동화를 위한 프로세스 지향 프로그래밍 언어
  • 대형 진공 태양망원경의 제어 시스템
  • LabVIEW에서 프로세스 지향 프로그래밍 사용 방법
  • \r
  • 제어 프로그래밍 교육을 위한 온라인 랩
  • 정보 복잡성: 프로그래머틱스 추론의 심리학적 기반
  • 대형 실리콘 잉곳 성장의 물리적 시뮬레이션을 위한 소프트웨어
  • Reflex 언어: PLC 기반 자동화를 위한 프로세스 지향 프로그래밍 언어
  • 하이퍼 자동화: 프로세스 지향 프로그래밍을 위한 개념적 프레임워크
  • 실리콘 단결정 성장로를 위한 자동 제어 시스템
  • CNC 기계용 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
연구원