• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2015 Fiscal Year Research-status Report

概念モデルとアシュアランスケースによる国際規格認証ドキュメント生成に関する研究

Research Project

Project/Area Number 15K15971
Research InstitutionNihon University

Principal Investigator

松野 裕  日本大学, 理工学部, 准教授 (70534220)

Project Period (FY) 2015-04-01 – 2017-03-31
Keywordsアシュアランスケース
Outline of Annual Research Achievements

研究題目の主テーマであるアシュアランスケースについて、現状の研究状況の調査をした。また我々の既存研究を整理し、アシュアランスケースのメタモデル化の検討を行った。その結果、まずアシュアランスケースの記述の際、以下の観点が重要であることが分かった。
・前提、文化などが異なるリスクのあるステークホルダ間の関係・時点で記述し、記述、評価する。例えば自動車会社担当者と、部品メーカー担当者間での仕様策定の段階など、異なる企業で、文化が異なる場合に、アシュアランスケースの議論の基本的な構造による相互理解は最も効果があると考える。
・ゴール、議論構造は、理解が異なるリスクのある、関心事をゴールにし、議論構造は全員が理解できるものにする。
・一つのアシュアランスケースはノード数は多くて20程度、スライド1枚程度に収まる大きさで記述する。一つのシステムに対して、このような小さなアシュアランスケースが複数ありうる。それらを総合したものが、そのシステムのアシュアランスケースであると考える。
これらの観点に立ち、次年度では国際規格のメタモデル化を行い、ツール化を行う。対象国際規格として検討中のISO26262のメタモデルの初期検討では、メタモデルとアシュアランスケースの対応を取るにあたり、上記の考察をもとに、アシュアランスケースの大きさと内容を決定する。初期検討ではメタモデル作成にあたり、国際規格自体のあいまいさが課題となっている。専門家との議論を積極的に行い、あいまいさを取り除き、メタモデルの作成を行う。

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

メタモデルとアシュアランスケースの対応に関しては、既存国際規格の精査を待って行う。既存研究の調査、および現状のアシュアランスケースの普及についての発表を行い、概ね順調に進展したと考える

Strategy for Future Research Activity

国際規格としてISO26262などの調査を行い、ツール化に向けた準備を行い、開発を行う

Causes of Carryover

国際学会出張計画が1件、都合でキャンセルになったため

Expenditure Plan for Carryover Budget

次年度代わりに出張を行う。

  • Research Products

    (3 results)

All 2015 Other

All Journal Article (1 results) (of which Peer Reviewed: 1 results) Presentation (1 results) Remarks (1 results)

  • [Journal Article] Modular Construction of Assurance Cases Written in Defeasible GSN2015

    • Author(s)
      Toshinori Takai, Hiroyuki Kido, Yutaka Matsuno
    • Journal Title

      Proceedings of the Second International Workshop on Argumentat for Agreement and Assurance

      Volume: 1 Pages: 82-95

    • Peer Reviewed
  • [Presentation] 記述試行からのアシュアランスケース実用化へ向けた課題2015

    • Author(s)
      松野裕
    • Organizer
      KBSE研究会
    • Place of Presentation
      大阪大学(大阪府吹田市)
    • Year and Date
      2015-09-15 – 2015-09-16
  • [Remarks] D-Caseホームページ

    • URL

      www.dcase.jp

URL: 

Published: 2017-01-06  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi