研究内容

安全・セキュアな組込みシステムの設計・開発技術

組込みシステムは，単に自動車や家電に組み込まれる制御用コンピュータという位置付けから，製品に付加価値を生む計算プラットフォームや，互いに連携して大規模な分散システムを形成するノードといった，社会を支えるさまざまな役割を担うようになっています．そのため，組込みシステムを設計・開発・運用する際には，単に要求される機能を実現するだけでなく，安全性やセキュリティに関するリスクを考慮し，それらを低減するような役割も要求されるようになりました．安全性やセキュリティは，システム全体で実現する性質であり，単独のハードウェアやソフトウェアだけでは実現できません．開発対象となる組込みシステムやソフトウェアだけでなく，システム全体の設計，開発，運用を俯瞰できる，広い視野をもつことが重要です．

我々は，組込みシステムの設計構築に関する要素技術（組込みリアルタイムOS，リアルタイムスケジューリングや保護機能，リアルタイム性解析，通信プロトコル，シミュレーション）と，要素技術をベースに安全でセキュアなシステムを実現するためのシステム構築技術の研究に取り組んでいます．企業と連携しながら，飛行機や自動車，ロケットなど様々な分野に携わり，時には国際規格の取得活動を一緒に進めることもあります．

特に以下の研究テーマに力を入れています．

要素技術
・自動車制御システム向けソフトウェアプラットフォームの開発
・車載Ethernetのリアルタイム性解析，プロトコル・スタックの開発
・ロボット制御ミドルウェアのリアルタイム性評価

システム構築技術
・安全，セキュリティ分析手法
・自動車制御システム向けリスク評価手法

詳細は，http://www.ertl.jp/~yutaka/ を御覧ください．
研究に興味を持つ方の来訪をいつでも歓迎します．