研究プロジェクト紹介

TIGARS（Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS）

• • • 英国University of York，英国Adelard LLP，英国City, University of London，株式会社ヴィッツ，名古屋大学との共同研究

    • 期間：2018-09-01~2019-12-31

総合信頼性（ディペンダビリティ）確保のための実用的な規範の研究

• • • 神奈川大学と株式会社Symphonyとの共同研究

    • 期間：2017-10-01~2019-03-31

オープンシステムディペンダビリティ国際標準の国内普及活動

• • • (社)ディペンダビリティ技術推進協会(DEOS協会)からの受託研究

    • 期間：2018-04-01~2018-08-31

自動車機能安全ケースの為のフレームワークに関する研究

• • 神奈川大学と株式会社デンソーとの共同研究

  • 期間：2014-11-01～2016-03-31

有機化合物のスペクトルデータシステム(SDBS)の帰属、及び、帰属決定プロセスについてのアシュランスケースの研究

• • 神奈川大学と独立行政法人産業技術総合研究所との共同研究

  • 期間：2014-12-12～2016-03-31

FFO (Formal assurance case Framework for Open systems dependability)

• • オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク

  • 情報処理推進機構からの受託研究（RISEプロジェクト）

  • 期間：2014-06-02〜2016-02-12