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

Artifacts Metamodel




GPCA artifacts metamodel

The above figure shows that a metamodel illustrating the key elements and their relations in the artifacts produced during the GPCA development process. In principle, each key element is converted to a (meta)class.

In this project, we consider the following types of artifacts that can be accessed from UPENN GIP project website.