信頼して使えるシステムを支える研究

組込みシステム、つながる機器、社会を支える大規模サービスを対象に、安全性、総合信頼性（英語では dependability）、セキュリティ、安定運用をどう説明し、どう改善するかを研究しています。

主な観点 総合信頼性、セキュリティ、レジリエンス（障害や変化に対応して機能を維持・回復する力）

対象範囲 単体の組込み機器から System of Systems まで

概要

研究概要

自動車・鉄道・航空機・家電などには、目に見えないコンピュータが数多く組み込まれています。こうしたシステムを安全に、そして信頼して使い続けられるようにするための研究に取り組んでいます。

対象は、OS（基本ソフトウェア）やスケジューリング（処理の順番や時間を管理する仕組み）といった基盤技術から、テスト、ファジング、セキュリティ分析まで幅広く、実際の製品やサービスへの応用を見据えています。

概要

いま問われていること

かつての組込みシステムは、単体で完結して動くものが中心でした。いまでは、ネットワークやクラウドに接続され、周囲のシステムとやり取りしながら動くものが主流になっています。

そのため、1 台の機器を単独で見るだけでは十分ではなく、多数の機器やサービスが相互作用する仕組み全体を考える必要があります。

概要

現在の主なテーマ

現在は、ミクスドクリティカリティ（重要度の異なる複数の機能を 1 つの計算機で安全に同居させる考え方）を前提としたソフトウェア定義車両（SDV：ソフトウェアで機能を柔軟に更新できる自動車）向けのサービス統合、ゼロ知識証明（データの中身を明かさずに正しさだけを示す暗号技術）を用いた IoT アクセス制御、並行処理の不具合を見つけるためのファジング、そして Mobility as a Service（MaaS：電車・バス・ライドシェアなど複数の交通手段を組み合わせて提供するサービス）のレジリエンス工学などを中心に研究しています。

共通するのは、設計の時点だけでなく、運用されながら変化していくシステムを、長期にわたって支えるという視点です。

概要