Goal Structuring Notation

1. An example SACM file for a railway signalling system. It illustrates the use of the Argument, Terminology and Artefact aspects of SACM:

SignallingSystem.sacm

SACM 2.0 Artefact Classes Usage Example

2. A simple SACM model example of a fragment of an assurance case for an ePark system. This system was one of the case studies of the OPENCOSS project:

ePark example