Archive for the ‘Safety Cases’ Category

Eurocontrol Safety Assessment Methodology

January 25, 2010

The Eurocontrol Safety Assessment Methodology defines the means for providing assurance that an Air Navigation System is safe for operational use. The guidance material available under the section Library has been developed by the Safety Assessment Methodology Task Force. The methodology describes a generic process for the safety assessment of Air Navigation Systems.

(more…)

The Nimrod Review

January 25, 2010

Nimrod XV230 was lost on 2 September 2006, whilst on a mission over Helmand Province in Southern Afghanistan, in support of NATO and Afghan ground forces.  XV230 suffered a catastrophic mid-air fire, leading to the total loss of the aircraft and the death of all 14 Service personnel on board.

(more…)

GSN Patterns

April 16, 2008

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.

(more…)

The Goal Structuring Notation (GSN)

April 4, 2008

This entry describes the basics of the notation which can be used for writing arguments. A list of web resources on GSN is provided at the end of the entry. GSN has been used for writing arguments in:

  • Safety
  • Dependability
  • Security

(more…)