We’re creating a series of short demonstration videos to show how you can use the Diametric Safety Case Manager. We will carry on adding more videos, so check back here in a few days.

Once you have watched these demonstration videos you can take the DSM for a test drive. You can get a free trial license here.

Creating GSN Diagrams

In this video we show how to create a simple GSN assurance argument in the DSM.

Adding Evidence

A safety case consists of arguments and evidence. In our second video, we show how to create user-defined data fields for evidence, import the evidence data from a spreadsheet, and link that evidence to the Solutions in the GSN argument.

Tracking Evidence Progress

You want to give the project manager an update on the evidence to support your safety argument. This video shows you how to create a matrix listing the evidence you need, who is producing it, and the current status. Then it shows how to extend that matrix with the goals supported by each piece of evidence. If your safety case is challenged by a gap in the evidence you can immediately see how the overall argument will be impacted.

Creating Bow Tie Diagrams

Bow tie diagrams capture the sequences of events through which an initial failure or error can lead to an accident, along with the control measures used to try to prevent the accident and to mitigate the consequences. This video shows how to create a simple bow tie diagram in the DSM.

From Bow Tie to FMEA

A bow tie diagram shows how an initial causal event leads to a system-wide failure or accident. A FMEA shows how the failure of a component leads to a system-wide failure or accident. There is clearly a lot of overlap between the two.

This video shows how to use two queries and a matrix to analyse a set of bow tie diagrams and present the result in the form of a simple FMEA.

FMEA 2: Adding Risk Data

In this video the simple FMEA from the last video is extended with data about the level of risk presented by the toaster, and the ways in which those risks are controlled. Along the way we show how to create risk tables and a more advanced query, and to insert their results as columns in the FMEA matrix.

Finding Recent Changes

This video shows how to create a simple matrix listing everything in the model that has recently been changed. You would use this as part of a periodic review or audit, for example to verify that all the changes made to a model can be traced back to a Change Request.