Safety Case Generation via Model
Transformation

 

General Patterns

 

SPIRIT Framework (new)

 

Assurance case for Safety Critical system