研究プロジェクト紹介
進行中の研究プロジェクト
進行中の研究プロジェクト
標準化に向けたオープンシステムディペンダビリティ証憑体系構造設計
標準化に向けたオープンシステムディペンダビリティ証憑体系構造設計
(一社)ディペンダビリティ技術推進協会からの受託研究
期間：2020-04-01〜2022-03-31
平塚市地域防災計画の整合性検査方式の研究
平塚市地域防災計画の整合性検査方式の研究
神奈川大学と平塚市との共同研究
期間：2014-04-01〜2022-03-31
終了した研究プロジェクト
終了した研究プロジェクト
TIGARS（Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS）
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)の帰属、及び、帰属決定プロセスについてのアシュランスケースの研究
有機化合物のスペクトルデータシステム(SDBS)の帰属、及び、帰属決定プロセスについてのアシュランスケースの研究
神奈川大学と独立行政法人産業技術総合研究所との共同研究
期間：2014-12-12～2016-03-31
FFO (Formal assurance case Framework for Open systems dependability)
FFO (Formal assurance case Framework for Open systems dependability)
オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク
情報処理推進機構からの受託研究（RISEプロジェクト）
期間：2014-06-02〜2016-02-12