研究紹介

進行中の研究プロジェクト

標準化に向けたオープンシステムディペンダビリティ証憑体系構造設計

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

      • 期間:2020-04-01〜2021-03-31

平塚市地域防災計画の整合性検査方式の研究

      • 神奈川大学と平塚市との共同研究

      • 期間:2014-04-01〜2021-03-31

終了した研究プロジェクト

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