A system theoretic assurance case review

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.