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

2017 Fiscal Year Annual Research Report

• Project/Area Number: 15K15971
• Research Institution: Nihon University
• Principal Investigator: 松野 裕 日本大学, 理工学部, 准教授 (70534220)
• Project Period (FY): 2015-04-01 – 2018-03-31
• Keywords: 安全性国際規格 / アシュアランスケース

Outline of Annual Research Achievements

アシュアランスケースとは、システムの安全性やセキュリティを保証するためのドキュメントである。システムの複雑化に伴い、システムの安全性やセキュリティを保証することは困難になり、そのためアシュアランスケースの重要性は増している。しかしながら、アシュアランスケースを記述することは多くの困難であることが知られている。本研究では、アシュアランスケースをシステムの安全性やセキュリティの概念を表すメタモデルから生成することを目指した。本研究で、もととなるメタモデルはOMG(Object Managemetn Group)で国際規格として発行されたDependability Assurance Framework(DAF)である。本研究の主な成果は、DAFでメタモデルを元に定義した、Dependability Assurance Case Templateである。Dependability Assurance Case Templateはメタモデルの定義を満たした上で、システムの安全性を保証するためのアシュアランスケースを作成するためのテンプレートである。本研究ではDependability Assurance Case Templateを用い、自動車エンジンシステムのアシュアランスケースを作成し、DAFに載せた。また、Dependabiliyt Assurance Case Templateは、企業で使用した例が報告されている。しかしながら本研究の大きな目的である、メタモデルからのアシュアランスケースの半自動作成はツールにおける部分的な実装にとどまった。今後、研究を継続し、実現させていきたい。特に現在、自動車企業の方々とアシュアランスケースの実用化に関する議論を重ねており、本研究の成果を活かしていきたい。