セキュアソフトウェアシステム研究室(国立研究開発法人産業技術総合研究所)

教育連携研究室

教員

  • 教授:大岩 寛

    教授:
    大岩 寛

  • 准教授:AFFELDT Reynald

    准教授:
    AFFELDT Reynald

研究室概要

IoTや組込み技術の発展により、計算機ソフトウェアがいわゆる汎用コンピュータだけでなく、自動車、航空機、家電製品、医療機器、工場設備など我々の生活や生命の安全性に直結する機器に組み込まれて使われるようになってきた現代において、システム全体の信頼性を確保することは、きわめて重要な産業上の要請になってきています。また、ソフトウェアの規模が拡大し、複数のシステムが有機的に通信・連携する時代において、利用者がソフトウェアを「見て」安全性を直接確認することが出来ない以上、工学的な手法でシステマチックに安全なソフトウェアを構築し、さらにその安全性を他人にきちんと説明する根拠立てを作ることが、重要になってきています。本研究室では、ソフトウェアを含むIoTシステムの安全性の担保に必要な技術を研究開発し、産業としての安全なソフトウェア構築手段の体系化を目指します。

IoTや組込みシステム全体の安全性を担保するための技術

  • IoTサービスのためのセキュリティアーキテクチャ・基盤システム
  • システム全体を俯瞰したソフトウェアセキュリティアーキテクチャ
  • IoT基盤におけるソフトウェアの信頼性担保のための技術

ソフトウェアの安全性を担保・説明するための基盤技術

  • ソフトウェア安全性を論理的に検証する技術(形式検証)
  • ソフトウェアの正しさを網羅検査する技術(モデル検査)
  • 形式的手法に基づくプログラムテスト
  • その他、プログラムの意味や安全性を議論するための技術

    ・プログラムの仕様記述法、数理的技法、形式技法、仕様記述論
    ・プログラミング言語の理論と実装
    ・プログラム開発工程の追跡技術
    ・その他ソフトウェアの解析技術

研究の進め方

まず、それぞれの志向する研究テーマに応じて、必要な情報科学の基礎知識を身につけていただきます。たとえば安全性担保技術については、プログラミング言語理論や形式手法に必要な数学的素養などがそれに当たります。また、計算機アーキテクチャや数理論理学等も、分野によっては知識が必要になります。また、可能な限り企業等との共同研究などに参画していただき、具体的な実例を元にした研究が出来るようアレンジする予定です。例として挙げたようなテーマの他にも、ソフトウェアの信頼性・安全性の向上につながるような内容であれば、可能な限り学生の自主的な取り組みを重視します。修士論文や博士論文のテーマ決定に際しては、相談にはのりますが、最終的には自ら決めていただきます。

産官学連携、国際連携など

本研究室は教育連携研究室ですので、産業技術総合研究所(情報技術研究部門)で研究指導を行います。2年目はつくばセンター(茨城県つくば市)での活動を基本としますが、研究テーマによっては関西センター(大阪府池田市)や臨海副都心センター(東京都江東区)に在籍する研究者も含めて、その分野のエキスパートの支援を受け、より高度な研究を実現することを目指します。研究所で進めている産官学連携活動に参加し、企業との共同研究を体験する機会もあります。