| タイトル | Understanding What It Means for Assurance Cases to "Work" |
| 本文（外部サイト） | http://hdl.handle.net/2060/20170003806 |
| 著者（英） | Rinehart, David J.; Rowanhill, Jonathan; Knight, John C. |
| 著者所属（英） | NASA Langley Research Center |
| 発行日 | 2017-04-01 |
| 言語 | eng |
| 内容記述 | This report is the result of our year-long investigation into assurance case practices and effectiveness. Assurance cases are a method for working toward acceptable critical system performance. They represent a significant thread of applied assurance methods extending back many decades and being employed in a range of industries and applications. Our research presented in this report includes a literature survey of over 50 sources and interviews with nearly a dozen practitioners in the field. We have organized our results into seven major claimed assurance case benefits and their supporting mechanisms, evidence, counter-evidence, and caveats. |
| NASA分類 | Computer Systems |
| レポートNO | NASA/CR-2017-219582
NF1676L-26066 |
| 権利 | Copyright, Distribution under U.S. Government purpose rights |
