期刊名称：International Journal of Japan Association for Management Systems
印刷版ISSN：1884-2089
电子版ISSN：2188-2460
出版年度：2019
卷号：11
期号：1
页码：35-40
DOI：10.14790/ijams.11.35
语种：English
出版社：日本経営システム学会
摘要：Assurance case is widely recognized as the fundamental document to certify safety critical systems. Several assurance case review methods are proposed to validate correctness of syntax rules, and traceability among artifacts and assurance cases. However, it is not established to review assurance cases from the point of target configuration information to be assured. In this paper, an assurance case review approach is proposed based on system theory. The proposed approach uses a system diagram to represent configuration information such as artifact models, quality attributes, and risk definitions. The primary contribution of this paper is a framework for reviewing assurance cases based on sytem theoretic information extracted from target assurance cases to satisfy description rules.
