機械システム工学科　教員・研究室：本田晋也

機器を制御するコンピュータ

家電や自動車など、私たちの身の回りにはコンピュータによって制御されている機器が多くあり、このコンピュータを組込みシステムと呼びます。組込みシステムには、スマートフォンと同様にアプリ(ソフトウェア)が入っており、機器を制御しています。近年ではスマートスピーカーに代表されるような、IoT(Internet of Things) 機器と呼ばれるインターネットに接続して各種のサービスを実現する機器も増えています。

高い信頼性を実現する技術

組込みシステムは高い信頼性が必要とされる場合が多いです。たとえば、インターネットに接続されている場合は外部からの不正操作を防ぐ必要があります。私は、組込みシステムで高い信頼性を実現するためのソフトウェアやハードウェア技術について研究しています。その1つとして、仮想化という単一のコンピュータ上で複数のサブシステムを分離しつつ同時に動作させる技術を研究しています。この機構を使うと IoT 機器をインターネットに接続するサブシステムと機器を制御するサブシステムに分けることができ、インターネットからの攻撃があっても機器を守ることができるのです。

主な研究業績

• TOPPERS/FMPカーネル リアルタイム性と高スループットを実現可能な組込システム向けマルチプロセッサ用RTOS, コンピュータソフトウェア, Vol.29,No.4, pp. 219-243 (2012).