Abstract
In the development of a system or software, ideally, it must be accompanied by an analysis that the system or software satisfied its objectives as well as the context development and implementation. One of the approaches that could be adopted to represent that a system or software achieves its objective is using assurance cases. Assurance cases can be developed using a structured argument where the claim related to the system, such as its objective can be supported by its context development and implementation as well as the logical structure and its supporting evidence. Several modeling languages can be adopted to representant assurance cases, namely, Goal Structuring Notation (GSN), Claim-Argument-Evidence (CAE), and Structured Assurance Case Metamodel (SACM). Among those languages, Structured Assurance Case Metamodel Notation (SACMN) can be considered as one of the most expressive languages in terms of its features relative to the other existing languages such as GSN and CAE. However, currently, there is a very limited tool that can be used to model assurance cases using SACMN. Therefore, this study aims to analyze and develop a web-based graphic editor application as an alternative media for modeling assurance cases using the SACMN language.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
