• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2014 年度 実績報告書

レビュー結果を利用したアシュアランスケースの効率的な構築保 守手法の開発

研究課題

研究課題/領域番号 25730044
研究機関奈良先端科学技術大学院大学

研究代表者

高井 利憲  奈良先端科学技術大学院大学, 情報科学研究科, 特任准教授 (10425738)

研究期間 (年度) 2013-04-01 – 2015-03-31
キーワードアシュアランスケース / セーフティケース / ソフトウェアレビュー / ディペンダビリティ / GSN / 撤回可能性 / 説明責任
研究実績の概要

レビュー結果を利用したアシュアランスケースの効率的な構築保守手法の開発をするにあたり、以下を達成した。
(1) レビュー記録からアシュアランスケースに必要な情報を抽出する手法として、トピックモデリングや形式概念分析などデータマイニング分野の技術を応用した手続きをいくつか提案した。また、提案手法を評価するにあたり、現在産業界でも用いられているアシュアランスケースの構造的な表現方法の一つであるGSNで記述されたアシュアランスケースの品質指標をいくつか提案した。さらに、それら抽出した情報からアシュアランスケースを構築するために、議論学で用いられるCarneadesモデルを応用したGSN記述手続きを提案した。以上の提案手続きや品質指標などを用いて評価実験を実施し、従来手法との比較や提案手法のバリエーション間の比較などを実施し、提案手法が効果を発揮する応用について考察した。本結果は、アシュアランスケースに関する国際ワークショップで発表した。
(2) GSNに対して、レビューに含まれる情報を記録する際に必要となる反論を記述する方法を導入し、撤回可能GSNとして提案し、ディペンダビリティに関する国際ワークショップで発表した。本提案は、上述評価実験で得られた知見をベースとしている。撤回可能GSNは、GSNの記法を大幅に変更することなく、議論学における反論や撤回可能性を表現可能であり、現在、開発ツールベンダーとともにツール化を進めている。
(3) 提案した撤回可能を用いて、今後アシュアランスケースの効率的な構築に必要になると予想される、アシュアランスケースにおける議論の合成手続きを提案し、整合的な議論が得られるための十分条件を一つ示した。本結果については国内研究会で発表している。

  • 研究成果

    (7件)

すべて 2015 2014

すべて 雑誌論文 (1件) (うちオープンアクセス 1件) 学会発表 (6件)

  • [雑誌論文] Automatic Approach to Prepare Information for Constructing an Assurance Case2014

    • 著者名/発表者名
      Khana Chindamaikul, Toshinori Takai, Daniel Port, Hajimu Iida
    • 雑誌名

      Information Science Technical Report

      巻: TR2014002 ページ: 1,15

    • オープンアクセス
  • [学会発表] ペルソナに基づく撤回可能付きGSN構築手法の提案 ~ システムアシュアランス導入に関するリスクケースを題材として ~2015

    • 著者名/発表者名
      泉川大樹, 高井利憲
    • 学会等名
      知能ソフトウェア工学研究会(KBSE)
    • 発表場所
      電気通信大学, 東京都調布市
    • 年月日
      2015-03-05 – 2015-03-06
  • [学会発表] アシュアランスケース構築のための議論合成法2015

    • 著者名/発表者名
      高井利憲, 木藤浩之, 松野裕
    • 学会等名
      知能ソフトウェア工学研究会(KBSE)
    • 発表場所
      電気通信大学, 東京都調布市
    • 年月日
      2015-03-05 – 2015-03-06
  • [学会発表] A Supplemental Notation of GSN Aiming for Dealing with Changes of Assurance Cases2014

    • 著者名/発表者名
      Toshinori Takai, and Hiroyuki Kido
    • 学会等名
      The Fourth Workshop on Open Systems Dependability (WOSD2014)
    • 発表場所
      Naples, Itary
    • 年月日
      2014-11-03 – 2014-11-06
  • [学会発表] Retrieving Information from a Document Repository for Constructing Assurance Cases2014

    • 著者名/発表者名
      Khana Chindamaikul, Toshinori Takai, and Hajimu Iida
    • 学会等名
      2014 Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2014)
    • 発表場所
      Naples, Itary
    • 年月日
      2014-11-03 – 2014-11-06
  • [学会発表] Linking Traceability with GSN2014

    • 著者名/発表者名
      Kenji Taguchi, Souma Daisuke, Hideaki Nishihara, and Toshinori Takai
    • 学会等名
      2014 Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2014)
    • 発表場所
      Naples, Itary
    • 年月日
      2014-11-03 – 2014-11-06
  • [学会発表] A Framework for Defining Degree of Confidence for Assurance Cases2014

    • 著者名/発表者名
      Toshinori Takai, and Hiroyuki Kido
    • 学会等名
      Proc. of the 53rd Annual Conference of the Instrument and Control Engineers of Japan (SICE 2014)
    • 発表場所
      北海道大学, 札幌
    • 年月日
      2014-09-09 – 2014-09-12

URL: 

公開日: 2016-06-01  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi