リサーチグループ

サイバーフィジカルシステムラボ

機械工学とソフトウェアエンジニアリングでは使用されるデザイン実践が異なるため、組み込みシステムとサイバーフィジカルシステムの開発にはたくさんの課題があります。 非常に多くの業界で組み込みシステムの重要性が増してきているため、この分野には研究の機会が大いにあります。

サイバーフィジカルシステムラボのリサーチの関心には、プロセス指向プログラミング、制御ソフトウェアのソフトウェア心理学およびドメイン固有言語(サイバーフィジカルシステム、PLC、組み込みシステム、IIoT、分散制御システムなど)、セーフティクリティカルシステム、要求光学、形式意味論、動的および静的検証(モデル検査、演繹的検証、存在論的設計)が含まれます。

グループ指導経験

大学院修士・博士課程

  • 研究開発の方法論
  • オープンシステム
  • アルゴリズムの解析
  • モデル検査
  • ソフトウェア工学の形式手法

学士課程

  • 現代情報システム工学
  • システム工学とプログラミング
  • プロセス指向プログラミング
  • ARMアーキテクチャを使ったハイブリッドシステム
  • プログラマブルマイクロコントローラー
  • 組み込みシステム
  • オブジェクト指向プログラミングの基礎
  • 画像処理
  • OSコンポーネントの設計
  • ソフトウェアテストおよび検証の現代的技法
  • 分散プログラミングの関数型言語

選抜プロジェクト

  • ソフトウェアシミュレーターを使用したサイバーフィジカルシステムにおける制御アルゴリズムの動的検証
  • IndustrialC: MCUベース自動化向けプロセス指向プログラミング言語
  • 大型太陽望遠鏡向け制御システム
  • LabVIEWにおけるプロセス指向プログラミングの指向
  • 制御プログラミングの指導用バーチャルラボ
  • 情報の複雑性: 語用論の推論における心理学的根拠
  • 大型シリコンインゴットの物理的成長をシミュレーションするためのソフトウェア
  • 反射言語: 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
研究員