Engineering safety case arguments using GSN standards

Maidah Mumtaz; Sidra Anwar; Nahal Mumtaz; Tabassum Kausar

Author(s)

Maidah Mumtaz Department of Computer Science, Govt. College Women University, Sialkot, Pakistan

Sidra Anwar Department of Computer Science, Govt. College Women University, Sialkot, Pakistan

Nahal Mumtaz Department of Computer Science, Govt. College Women University, Sialkot, Pakistan

Tabassum Kausar Department of Computer Science, Govt. College Women University, Sialkot, Pakistan

Abstract

In Europe, over ongoing years, the obligation regarding guaranteeing the system safety has moved onto the developers and engineers to build and present well-reasoned arguments underlying the structure and presentation of obtuse document. These arguments together with supporting solutions and constraints are typically referred to as a “safety case”. This study aims to benefit the risk-based Safety domain by demonstrating or clarifying how the set of evidence items may be combined together and argued to present the structure of engineering arguments. Therefore, an algorithm is proposed to serve the purpose following GSN standards while engineering the cases. The system would explicitly represent the individual elements of any safety argument i.e. requirements, claims, evidence and context; and relationships that exist between these elements. It will reduce the complications and misunderstandings due to poor communication between Safety arguments in safety cases and would strengthen the safety-critical industries in result.

Publication Details

Page(s) 124-131

DOI DOI not available

Published Journal: Journal of Natural & Applied Sciences Pakistan, Volume: 1, Issue: 1, Year: 2019

Request the full text from PASTIC

Keywords

Goal Structuring Notation, Structuring Notations, Engineering Safety cases, Engineering domain, Safety cases

References

.2006 .The 1st Institution of Engineering. , : .

.2011 .Argument Structure for GSN Patterns”. , : .

Gallina B. .2014 ."A Model-Driven Safety Certification Method for Process Compliance,". November, : .

Bloomfield R.,Bishop P. .2010 .Safety and assurance cases: Past, present and possible future-an Adelard perspective. In Making Systems Safer, : 51-67.

I. Habli .2010 ."GSN STANDARD VERSION 1.0," no. Review Committee, : 1-30.

. .. , 158(163) : 6-8.

Kelly T. .1998 .A six-step method for developing arguments in the goal structuring notation (GSN). Technical report, : .

Languages .2011 .. , : .

Matsuno Y.,Yamamoto S. .2013 ."An implementation of GSN community standard," Assurance Cases for Software Intensive Systems. , : .

Weaver R. A. .2013 .". The Safety of Software - Constructing and Assuring Arguments,", : 1-298.

Hawkins1 R.,Knight J.,Graydons2 P. . ."A new approach to creating clear safety arguments". , : .

Weaver R.,Kelly T.,J. McDermid T.,Assurance T. . ."Combining Software Evidence - Arguments and. , : 1-7.

S. B. Dagstuhl .2017 ."Safety Cases: Arguing the safety of autonomous systems,". , : .

Wilson S. P.,McDermid J. A.,Pygott C. H.,Tombs D. J. .1996 ."Assessing complex computer based systems using the Goal Structuring Notation,". Nov, : .