ディペンダブルで安全なシステムの研究

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

主な観点 総合信頼性、セキュリティ、レジリエンス

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

概要

研究概要

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

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

概要

いま問われていること

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

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

概要

現在の主なテーマ

いま取り組んでいるテーマをいくつか挙げます。1 つは、ソフトウェアで機能を更新できる自動車（ソフトウェア定義車両、SDV）で、重要度の異なる複数の機能を 1 台の車載コンピュータに安全に同居させる技術です。これをミクスドクリティカリティと呼びます。もう 1 つは、ブロックチェーンとゼロ知識証明（データの中身を明かさずに正しさだけを示す暗号技術）を組み合わせた、IoT 機器のアクセス制御です。

このほか、並行して動く多数の処理にひそむ不具合を見つけるファジングや、電車・バス・ライドシェアなどを組み合わせた交通サービス（MaaS）を、一部が止まっても動かし続けるためのレジリエンス工学にも取り組んでいます。いずれも、設計の時点だけでなく、運用されながら変化していくシステムを長く支えたい、という思いが根底にあります。

概要