Conceptual model and development process metamodel

Safety Case pattern and weaving table


GPCA Safety Case

SPIRIT Project


GPCA Artifacts:

The ATL program takes the project artifacts as inputs to generate the safety case. In our case study, we applied SPIRIT to generate a safety case for the GPCA project.

The partial GPCA artifacts are shown below:


GPCA Safety Case:
The GPCA safety case is generated by the ATL program:
Click here to download the complete GPCA safety case in xmi format