From Dependability

This is a summary of publicly available safety cases we've obtained through correspondence with others and our own online searching. These cases represent interests in air traffic control, passenger rail transit, and radioactive waste disposal and storage. To ease the process of accessing these documents, they are mirrored locally.

Each document available is briefly summarized below.

Contents 1 The EUR RVSM Pre-Implementation Safety Case 2 EUR Whole Airspace ATM System Safety Case 3 Safety Case for Current Limiting Devices 4 Opalinus Clay Repository Safety Case 5 Tube Lines Contractual Safety Case 6 London Underground Railway Safety Case

The EUR RVSM Pre-Implementation Safety Case

This is the safety case for Eurocontrol's Reduced Vertical Separation Minimums (RVSM). The high-level argument is expressed in GSN with references to natural languages passages at the leaves of the GSN diagrams. This is the only complete safety case we've located whose high-level structure is expressed in GSN.

EUR Whole Airspace ATM System Safety Case

This document is not a safety case per say; rather, it is a preliminary study on the feasibility of developing a safety case for the entire Eurocontrol airspace. Nevertheless, some example structures are presented in GSN for the high-level airspace safety argument. This study and the RVSM safety argument are the only publicly available documents we found that make use of GSN.

Safety Case for Current Limiting Devices

This is a safety case for the use of electrical current limiting devices on power distribution networks. It is presented in natural language and uses an ALARP argument to show that the hazards associated with the devices have been sufficiently mitigated.

Opalinus Clay Repository Safety Case

This chapter contains the safety case for a geological repository for radioactive waste in Germany. It is presented in natural languages structured in an outline format. The high-level argument is summarized at the beginning of the chapter, and then specific safety objectives are argued in the sections that follow.

Tube Lines Contractual Safety Case

This is the safety case for the Tube Lines, part of the London Underground. It is presented in natural language and is primarily focused on operations and maintenance.

London Underground Railway Safety Case

This web site contains the safety case for the London Underground railway system. The safety case is presented over a series of documents in natural language.

In addition to these documents, we also have the Jaguar XK8 electronic throttle and the nuclear trip system examples used by Adelard and ERA to demonstrate their tools. ERA presents a GSN representation of the XK8 safety case, and Tim Kelly has adapted the nuclear trip system example to GSN.