ProjectHome

Conceptual model and development process metamodel

Safety Case pattern and weaving table

Algorithm

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