| 研究課題/領域番号 |
15K15971
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
ソフトウェア
|
|---|
| 研究機関 | 日本大学 |
|---|
研究代表者 |
松野 裕 日本大学, 理工学部, 准教授 (70534220)
|
|---|
| 研究協力者 |
田口 研治
|
|---|
| 研究期間 (年度) |
2015-04-01 – 2018-03-31
|
| 研究課題ステータス |
完了 (2017年度)
|
| 配分額 *注記 |
2,730千円 (直接経費: 2,100千円、間接経費: 630千円)
2016年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
2015年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
|
|---|
| キーワード | アシュアランスケース / システム保証 / 安全性国際規格 / 国際規格認証 |
|---|
| 研究成果の概要 |
システムの安全性保証は重要である。システムの安全性を保証するために、国際規格の認証は重要な手段である。自動車の機能安全分野では、ISO26262国際規格が日本においても準拠が前提になっている。そのような状況の中で、システムの複雑化に伴い、国際規格の認証ドキュメントの生成が困難になりつつある。本研究では、我々が企業と共同で国際規格化を行っているDependability Assurance Framework(DAF)をもとに、認証ドキュメントの生成に関する研究を行った。
|
