GSN metamodel
Artifacts metamodel
ATL transformation
GPCA Assurance Model
Faults in GPCA assurance model

GSN Metamodel



The Goal Structuring Notation  

Currently, there are two different notations to denote an assurance case, i.e. Goal Structuring Notation (GSN)and Claims-Arguments-Evidence (CAE) Notation. In our approach, we consider the GSN notation as a main representation of an assurance case.

The following Figure shows a metamodel of the GSN structure. A goal is linked to a strategy which is further linked to one or more goals as a subgoal. Each goal and strategy can have an asusmption,  context, and justification. Also, a goal can be linked to a solution. The metamodel in this Figure is the key element for model transformation in order to generate an assurance case via the safety2design safety design pattern.

GSN metamodel

Goal Structuring Notation Standard