2019 Volume 11 Issue 1 Pages 35-40
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.