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

Generation of International Standard Certification Documents based on Metamodel and Assurance Cases

Research Project

Project/Area Number 15K15971
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeMulti-year Fund
Research Field Software
Research InstitutionNihon University

Principal Investigator

MATSUNO Yutaka  日本大学, 理工学部, 准教授 (70534220)

Research Collaborator TAGUCH Kenji  
Project Period (FY) 2015-04-01 – 2018-03-31
Project Status Completed (Fiscal Year 2017)
Budget Amount *help
¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000)
Fiscal Year 2016: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2015: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Keywordsアシュアランスケース / システム保証 / 安全性国際規格 / 国際規格認証
Outline of Final Research Achievements

Dependability assurance of the system is important. In order to ensure the dependability of the system, certification of international standards is an important means. In the functional safety field of automobiles, compliance is also premised on ISO 26262 international standards in Japan. Under such circumstances, along with the complexity of the system, it is becoming difficult to generate certified documents of international standards. In this research, we conducted research on generation of certified documents based on the Dependability Assurance Framework (DAF), which we are collaborating internationally with companies.

Report

(4 results)
  • 2017 Annual Research Report   Final Research Report ( PDF )
  • 2016 Research-status Report
  • 2015 Research-status Report
  • Research Products

    (6 results)

All 2016 2015 Other

All Journal Article (1 results) (of which Peer Reviewed: 1 results) Presentation (2 results) Remarks (3 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

    • Related Report
      2015 Research-status Report
    • Peer Reviewed
  • [Presentation] D-Case: ステークホルダーを明確化したGSNによる合意形成手法2016

    • Author(s)
      石津流弥、松野裕
    • Organizer
      KBSE研究会
    • Place of Presentation
      信州大学(長野県長野市)
    • Year and Date
      2016-11-03
    • Related Report
      2016 Research-status Report
  • [Presentation] 記述試行からのアシュアランスケース実用化へ向けた課題2015

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

    • URL

      http://mlab.ce.cst.nihon-u.ac.jp

    • Related Report
      2016 Research-status Report
  • [Remarks] D-Case研究会ホームページ

    • URL

      http://www.dcase.jp

    • Related Report
      2016 Research-status Report
  • [Remarks] D-Caseホームページ

    • Related Report
      2015 Research-status Report

URL: 

Published: 2015-04-16   Modified: 2019-03-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi