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

ATL Model Transformation



The following figure illustrate a part of ATL transformation rules of our safet case generation approach. Starting from line 6 of this figure, a transformation rule is given. We name the rule hazard2goal which is used to generate the target model elements G2, S2, A2, and Con2 of the safety2design pattern.  
The complete ATL program is given here: ATL project