Ryan Adeputra Sutopo
Telkom University, Bandung

Published : 1 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search

Dialectical Assurance Case using Structured Assurance Case Metamodel Notation Nungki Selviandro; Ryan Adeputra Sutopo; Gia Septiana Wulandari
KLIK: Kajian Ilmiah Informatika dan Komputer Vol. 3 No. 6 (2023): Juni 2023
Publisher : STMIK Budi Darma

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.30865/klik.v3i6.912

Abstract

An assurance case is a document created to enable the exchange of information related to system safety and security among various system stakeholders, including suppliers, acquirers, operators, and regulators. It is essential to review such assurance cases to ensure their validity. The Structured Assurance Case Metamodel (SACM) is one of the languages that can be used to communicate assurance cases, and it offers various variants and expressive notations to facilitate this task. While creating assurance cases, it is necessary to consider dialectical notation with CounterArguments and CounterEvidence to explain situations where an assurance case has an incorrect value or can be countered. SACM classifies this notation as dialectical, and it is useful for reviewing and developing assurance cases. However, despite the usefulness of this approach, there is limited research on its effectiveness. Therefore, this study aims to explain dialectical notation in the SACM assurance case language and develop existing SACM applications. The application was developed to provide users who are already familiar with assurance cases, especially SACM, with a practical way of introducing dialectical notation. By doing this, we hope to expand the use of SACM and improve its effectiveness in communicating assurance cases among system stakeholders.