Diagrams are Views of the Safety Model
The Diametric Safety Case Manager (DSM) is first and foremost a modelling tool. Most work in the DSM is done using diagrams, but these diagrams are just a representation of an underlying model. An entity such as a Goal or a Hazard can appear on several diagrams, but these are all views of a single entity; if it is changed then all the diagrams where it appears will be updated.
Goal Structuring Notation
GSN is a graphical notation for representing complex arguments linked to evidence. Explicitly it represents the individual elements of any safety argument (requirements, claims, evidence and context) and more significantly the relationships that exist between these elements.
Bow-tie diagrams are a notation for managing risks and hazards. A risk or a hazard has a main event that has potential causes and outcomes, denoted by Events linked through Threat Lines. Controls are added to each Threat Line to show how the risks are managed.