GSN Patterns

This entry describes the notation for GSN Patterns which can be used for writing generic arguments that can be reused. The basics of GSN can be found here.

As well as using GSN for developing individual safety arguments, GSN Patterns can be used to capture successful argument approaches that may be used across many different arguments. The principal optionality and multiplicity extensions and entity abstractions taken from are shown below:

GSN Pattern Notation

An example pattern is shown below:

GSN Pattern Example

GSN patterns can be re-used within a safety argument and can describe best practice, company expertise and successful certification approaches.

Useful Resouces

The GSN Club webpages have public resources describing GSN, links to relevant publications and GSN tools.  The club run by Origin Consulting aims:

  • To provide a forum for members to exchange best practice experience in use of GSN on their projects
  • To build up resources (e.g. Safety Case Patterns) to help those using GSN on their projects
  • To provide a forum for members to hear about the latest developments and extensions to GSN
  • To provide an impartial forum for members to hear about the latest offerings in tool support for GSN

Can’t find the information you want? Please leave a comment telling me what you were looking for and I will add it – how this resource works.

Tags: , , , , , ,

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s


%d bloggers like this: