カリキュラム
高信頼組込みコースの教育カリキュラム
高信頼組込みソフトウェアの開発・検査のための理論と技術の習得
コア講義科目
組込みシステムアーキテクチャに関する科目
組込みソフトウェア開発技術に関する科目
高信頼ソフトウェア開発技術（形式的検証技術）に関する科目
プロジェクト管理・品質管理に関する科目
PBL 演習
企業と協力して作成した生産現場の問題を先端技術を適用して解決する演習
高信頼組込みソフトウェア開発実習
オブジェクト指向ソフトウェア開発実習
形式的検証手法実習
ユビキタスネットワーク演習・実習
ワイアレスネットワーク実験室を利用して、各種センサー、マルチモーダルインタフェースを利用した実験・実習を行う
