研究プロジェクト

今日、コンピュータシステムは「便利な道具」という枠を超え、「社会基盤の一部」として我々の生活を支えています。この目覚ましい発展の背景には実世界に散々する無限の情報をリアルタイムに処理できる並列分散システムの研究があります。我々はコンピュータシステムのさらなる発展を見据え、次世代の並列分散システムの原理とメカニズムの確立を目指して研究を進めています。

最近は特に、車載制御設計等で主流となりつつあるSimulinkモデルを用いたモデルベース開発において、モデルレベルでの並列化設計検証により、制御と実装との協調設計を目指すクロスレイヤ設計（ページ末尾のデモ動画参照）に注力しています。その中では以下の研究テーマに力を入れて取り組んでいます。