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

Assurance case for GPCA project.


Safety Case Pattern:
Our approach starts from presenting a safety case pattern , called safety2design, concentrating on the argument of whether a system design is acceptably safe. Based on the above observation, we construct the safety2design pattern, whose GSN is shown below.

safety2design pattern