研究紹介で使う用語の説明

自動車や家電、産業機器などの内部に組み込まれ、その機器の制御を担うコンピュータシステム。身の回りのコンピュータの多くは、PC やスマートフォンではなく組込みシステムです。

安全性、信頼性、可用性、セキュリティなどを総合した性質。システムを一生を通じて安心して使い続けられることを指します。英語では dependability。

一部の故障や環境の変化に対応して、機能を維持・回復する力。

処理の速さではなく、決められた時間内に処理を確実に終える性質。ふだんは速くても、まれに間に合わないブレーキ制御はリアルタイムとはいえません。

リアルタイム性が求められるシステム向けの基本ソフトウェア。処理の優先度や時間を細かく管理できます。

複数の処理に CPU などの計算資源を割り当てる順番や時間を決める仕組み。

重要度（クリティカリティ）の異なる複数の機能を1台の計算機に安全に同居させ、重要でない機能の不具合が重要な機能に影響しないようにする考え方。

出荷後もソフトウェアの更新によって機能を追加・変更できる自動車。

プログラムに自動生成した入力を大量に与えて、不具合や脆弱性を見つけるテスト手法。

テストだけに頼らず、数学的なモデルに基づいてシステムやプログラムの性質を厳密に検証する手法の総称。

システムが安全・セキュアであることの根拠を、証拠に基づく構造化された議論として示す文書。

車内の電子制御ユニット（ECU）どうしを結ぶ代表的な車載ネットワーク規格。

家電やセンサー、産業機器などがネットワークにつながり、サービスや機器どうしでデータをやり取りする仕組み。

記録を多数の参加者で分散して保持することで、特定の管理者に頼らずに改ざんを難しくする技術。

ブロックチェーン上に置かれ、あらかじめ定めた条件に従って自動的に実行されるプログラム。

ブロックチェーンやスマートコントラクトを活用し、特定の管理者に依存せずに運営される分散型サービスの総称。

データの中身を明かさずに、その内容が正しいことだけを証明する暗号技術。

それぞれ独立に所有・運営される複数のシステムが連携して、単独では実現できない目的を果たす仕組み。

電車・バス・ライドシェアなど複数の交通手段を組み合わせて、ひとつのサービスとして提供する移動サービス。

現実のシステムや環境を仮想空間上に再現した複製。挙動のシミュレーションや検証に使います。