An effective development method of an assurance case from software review results
| Project/Area Number |
25730044
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Multi-year Fund |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Nara Institute of Science and Technology |
|---|
Principal Investigator |
TAKAI Toshinori 奈良先端科学技術大学院大学, 情報科学研究科, 特任准教授 (10425738)
|
|---|
| Project Period (FY) |
2013-04-01 – 2015-03-31
|
| Project Status |
Completed (Fiscal Year 2014)
|
| Budget Amount *help |
¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2014: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2013: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
|
|---|
| Keywords | アシュアランスケース / セーフティケース / ソフトウェアレビュー / ディペンダビリティ / 撤回可能性 / 議論 / 説明責任 / GSN / システムアシュアランス / 信用の程度 / 議論モデル / 設計根拠 |
|---|
| Outline of Final Research Achievements |
We propose a defeasible GSN (dGSN) by introducing some supplemental notation and semantics in order to express rebuttals for existing arguments and to show the status of the arguments. Rebuttals in arguments can be used to record the results of software review activities in a structural and effective way. We also propose procedures for retrieving information used for constructing an assurance case by applying some data-mining techniques and in order to evaluate the proposed procedures, we consider some quality metrics of assurance cases written in GSN. The experiments we conducted to evaluate the proposed procedure, based on the proposed quality metrics, showed there are capabilities that our procedures have some advantages in comparison with the traditional construction of assurance cases.
|
Report
(3 results)
Research Products
(9 results)
-
-
-
-
-
-
[Presentation] Linking Traceability with GSN2014
Author(s)
Kenji Taguchi, Souma Daisuke, Hideaki Nishihara, and Toshinori Takai
Organizer
2014 Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2014)
Place of Presentation
Naples, Itary
Year and Date
2014-11-03 – 2014-11-06
Related Report
-
-
-
