Analysis of safety‐critical software elements in offshore safety studies

Anon (1992),Offshore Installation (Safety Case) RegulationsISBN 0‐11‐025688‐X.

10.1093/comjnl/35.6.579

10.1016/S0377-2217(96)00171-3

10.1049/sej.1993.0025

10.1049/cce:19940101

10.1109/52.382183

Department of Energy (1990), “The public inquiry into the Piper Alpha disaster”,Cullen Report, ISBN 0 10 113102, London.

10.1109/TSE.1985.231849

HSE (1994),Out of ControlISBN 0‐7176‐08476, London.

IEC (1986),Software for Computers in the Safety Systems of Nuclear Power Stations, Publication 880, International Electrotechnical Commission.

10.1109/TSE.1983.235116

10.1016/0951-8320(91)90045-9

McDermid, J.A. (1993), “Formal methods: use and relevance for the development of safety‐critical systems”,Safety Aspects of Computer Control, Bennett, P. (Ed.).

Ministry of Defence (1991),The Procurement of Safety Critical Software in Defence Equipment,INTERIM Defence Standards 00‐55 & 0056.

Regulations(1996), “The Offshore Installations and Wells (Design and Construction, etc.)”, ISBN 0‐11‐054451‐X, No. 913.

10.1109/91.618277

10.1080/09544829708907957

10.1016/0141-1187(96)00022-3

10.1016/0951-8320(96)00003-8