Dialectical Assurance Case using Structured Assurance Case Metamodel Notation
DOI:
https://doi.org/10.30865/klik.v3i6.912Keywords:
Structured Assurance Case Metamodel; Dialectical Approach; Assurance CaseAbstract
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.
Downloads
References
I. Habli, R. Alexander, and R. Hawkins, “Safety Cases: An Impending Crisis?,” Jun. 2021.
O. Jaradat, I. Šljivo, I. Habli, and R. Hawkins, “Challenges of Safety Assurance for Industry 4.0,” Jun. 2017, pp. 103–106. doi: 10.1109/EDCC.2017.21.
C.-L. Lin, W. Shen, and R. Hawkins, “Support for safety case generation via model transformation,” ACM SIGBED Review, vol. 14, pp. 44–52, Jun. 2017, doi: 10.1145/3076125.3076130.
R. Mokhtar, S. Othman, and R. Ramlan, “Modelling Quality Assurance System Process Using UML Notation,” Ingénierie des systèmes d information, vol. 27, pp. 705–716, Jun. 2022, doi: 10.18280/isi.270503.
M. Chelouati, A. Boussif, J. Beugin, and E.-K. El-Miloudi, “Graphical safety assurance case using Goal Structuring Notation (GSN)– challenges, opportunities and a framework for autonomous trains,” Reliab Eng Syst Saf, vol. 230, p. 108933, Jun. 2022, doi: 10.1016/j.ress.2022.108933.
A. Deeb, T. Garner, and D. Kuchekar, “Building the Assurance Case for Recovery of Autonomous Underwater Vehicles from Offshore Platforms,” Jun. 2023. doi: 10.4043/32185-MS.
N. Fung, S. Kokaly, A. Sandro, and M. Chechik, “Assurance Case Property Checking with MMINT-A and OCL,” 2022, pp. 351–360. doi: 10.1007/978-3-030-82083-1_30.
N. Selviandro, “Assurance Case Pattern using SACM Notation,” Jun. 2021, pp. 494–499. doi: 10.1109/ICoICT52021.2021.9527483.
S. Ramakrishna, H. Jin, A. Dubey, and A. Ramamurthy, “Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems,” 2022, pp. 82–96. doi: 10.1007/978-3-031-14835-4_6.
C. Weir, A. Rashid, and J. Noble, “Challenging software developers: Dialectic as a foundation for security assurance techniques,” J Cybersecur, vol. 6, no. 1, 2021, doi: 10.1093/CYBSEC/TYAA007.
F. U. Muram and M. A. Javed, “ATTEST: Automating the review and update of assurance case arguments,” Journal of Systems Architecture, vol. 134, Jan. 2023, doi: 10.1016/j.sysarc.2022.102781.
“Garantia de qualidade do ensino superior: o caso dos Estados Unidos,” Estudos em Avaliação Educacional, Sep. 2022, doi: 10.18222/eae.v33.9022_port.
A. Gambarotto, “Teleology and mechanism: a dialectical approach,” Synthese, vol. 201, no. 5, May 2023, doi: 10.1007/s11229-023-04137-y.
P. J. Graydon and C. M. Holloway, “An investigation of proposed techniques for quantifying confidence in assurance arguments,” Saf Sci, vol. 92, pp. 53–65, 2017, doi: 10.1016/j.ssci.2016.09.014.
P. O. Antonino, M. Trapp, and P. Barbosa, Computer Safety, Reliability, and Security (incl WAISE), vol. 9337, no. August 2016. 2018. [Online]. Available: http://link.springer.com/10.1007/978-3-319-24255-2
A. Gacek, J. Backes, D. Cofer, K. Slind, R. Collins, and M. Whalen, “Resolute: An assurance case language for architecture models,” HILT 2014 - Proceedings of the ACM Conference on High Integrity Language Technology, pp. 19–27, 2014, doi: 10.1145/2663171.2663177.
The Assurance Case Working Group, “Goal Structuring Notation Community Standard Version 3,” pp. 1–130, 2021, [Online]. Available: https://scsc.uk/r141C:1?t=1
R. A. Sutopo, N. Selviandro, and G. S. Wulandari, “Analysis and Implementation of Web-based Graphic Editor for Structured Assurance Case Metamodel Notation”.
N. Selviandro, “Assurance Case Pattern using SACM Notation,” 2021 9th International Conference on Information and Communication Technology, ICoICT 2021, pp. 494–499, 2021, doi: 10.1109/ICoICT52021.2021.9527483.
R. Wei, T. P. Kelly, X. Dai, S. Zhao, and R. Hawkins, “Model based system assurance using the structured assurance case metamodel,” Journal of Systems and Software, vol. 154, pp. 211–233, 2019, doi: 10.1016/j.jss.2019.05.013.
A. L. Springer, “White Rose Research Online URL for this paper?: Version?: Accepted Version Ibrahim orcid . org / 0000-0003-2736-8238 ( 2020 ) A Visual Notation for the Representation of Assurance Cases using SACM . In?: International Symposium on Model-Based Safety and A,” 2020.
Bila bermanfaat silahkan share artikel ini
Berikan Komentar Anda terhadap artikel Dialectical Assurance Case using Structured Assurance Case Metamodel Notation
ARTICLE HISTORY
How to Cite
Issue
Section
Copyright (c) 2023 Nungki Selviandro, Ryan Adeputra Sutopo, Gia Septiana Wulandari
This work is licensed under a Creative Commons Attribution 4.0 International License.
Authors who publish with this journal agree to the following terms:
- Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under Creative Commons Attribution 4.0 International License that allows others to share the work with an acknowledgment of the work's authorship and initial publication in this journal.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgment of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (Refer to The Effect of Open Access).
