Analysis of safety-critical software elements in offshore safety studies

Disaster Prevention and Management: An International Journal

Volumn 9, Issue 4, 2000, Pages 271-281

  Wang, J ^a  

^a LIVERPOOL JOHN MOORES UNIVERSITY   (United Kingdom)

Author keywords

Health and safety; Oil industry; Safety factors

Indexed keywords

EID: 33646870685     PISSN: 09653562     EISSN: None     Source Type: Journal    
DOI: 10.1108/09653560010351961     Document Type: Article

References (30)

1. Anon (1992), Offshore Installation (Safety Case) Regulations ISBN 0-11-025688-X.
2. Barroca, L.M. and McDermid, J.A. (1992), "Formal methods: use and relevance for the development of safety-critical systems", The Computer Journal, Vol. 35 No. 6, pp. 579-99.
3. Bennett, J.C., Bohoris, G.A., Aspinwall, E.M. and Hall, R.C. (1996), "Risk analysis techniques and their application to software development", European Journal of Operational Research, pp. 467-75.
4. Bowen, J. and Stavridou, V. (1993), "Safety-critical systems, formal methods and standards", Software Engineering Journal, July, pp. 189-209.
5. Brazendale, J. and Bell, R. (1994), "Safety-related control and protection systems: standards update", Computing & Control Engineering Journal, February, pp. 6-12.
6. De Lemos, R., Saeed, A. and Anderson, T. (1995), "Analysing safety requirements for process-control systems", IEEE Software, May, pp. 42-53.
7. Department of Energy (1990), "The public inquiry into the Piper Alpha disaster", Cullen Report, ISBN 0 10 113102, London.
8. ESA PSS-05-0 issue 2, (1991), "ESA software engineering standards", European Space Agency, 8-10 rue Mario-Nikis, 75738 Paris Cedex, France, February.
9. Fryer, M.O. (1985), "Risk assessment of computer controlled systems", IEEE Transactions on Software Engineering, Vol. 11 No. 1, pp. 125-9.
10. Greenberg, R. (1986), "Software safety using fault tree analysis techniques", in Daniels, B.K. (dd.), Safety and Reliability of Programmable Electronic Systems, Elsevier Applied Science, Amsterdam, pp. 86-95.
11. HSE (1994), Out of Control ISBN 0-7176-08476, London.
12. HSE (1996a), "A guide to the integrity, workplace environment and miscellaneous aspects of the offshore installations and wells (design and construction, etc.) regulations 1996", ISBN 0717611647, HSE Books.
13. HSE (1996b), "A guide to the installation verification and miscellaneous aspects of amendments by the offshore installations and wells (design and construction, etc.) regulations 1996 to the offshore installations (safety case) regulations 1992", ISBN 0717611930, HSE Books.
14. HSE (1987a), "Programmable electronic systems in safety related applications; 1. an introductory guide", HMSO, Publications Centre, PO Box 276, London.
15. HSE (1987b), "Programmable electronic systems in safety related applications; 2. general technical guidelines", HMSO, Publications Centre, PO Box 276, London.
16. IEC (1986), Software for Computers in the Safety Systems of Nuclear Power Stations, Publication 880, International Electrotechnical Commission.
17. Leveson, N.G. and Harvey, P.R. (1983), "Analysing software safety", IEEE Transactions on Software Engineering, Vol. 9 No. 5, pp. 569-79.
18. McDermid, J.A. (1991), "Issues in developing software for safety-critical systems", Reliability Engineering and System Safety, Vol. 32, pp. 1-24.
19. McDermid, J.A. (1993), "Formal methods: use and relevance for the development of safety-critical systems", Safety Aspects of Computer Control, Bennett, P. (Ed.).
20. Ministry of Defence (1991), The Procurement of Safety Critical Software in Defence Equipment, INTERIM Defence Standards 00-55 & 0056.
21. Potter, B., Sinclair, J. and Till, D. (1996), An Introduction to Formal Specification and Z, Prentice-Hall, New York, NY.
22. Raina, V.M. and Castaldo, P.V. (1986), "Programmable controller fault tree models for use in nuclear power plant risk assessments", in Daniels, B.K. (dd.), Safety and Reliability of Programmable Electronic Systems, Elsevier Applied Science, Amsterdam, pp. 96-104.
23. Regulations (1996), "The Offshore Installations and Wells (Design and Construction, etc.)", ISBN 0-11-054451-X, No. 913.
24. Spivey, J.M. (1992), The Z Notions: A Reference Manual, 2nd ed., Prentice-Hall, New York, NY.
25. Van Baal, J.B.J. (1984), "Hardware/software FMEA applied to airplane safety", NLR MP 84073U, National Aerospace Laboratory NLR.
26. Wang, J. (1997), "A subjective methodology for safety analysis of safety requirements specifications", IEEE Transactions on Fuzzy Systems, Vol. 5 No. 3, pp. 418-30.
27. Wang, J. and Ruxton, T. (1997), "A review of safety analysis methods applied to the design process of large engineering products", Journal of Engineering Design, Vol. 8 No. 2, pp. 131-52.
28. Wang, J., Saeed, A. and De Lemos, R. (1997), "Subjective safety analysis for software development", ESREL'97, European Safety and Reliability Conference, Lisboa, 17-20 June, six pages.
29. Wang, J., Yang, J.B., Sen, P. and Ruxton, T. (1996a), "Safety based design and maintenance optimization of large marine engineering systems", Applied Ocean Research, Vol. 18 No. 1, pp. 13-27.
30. Wang, J., Yang, J.B. and Sen, P. (1996b), "Multi-person and multi-attribute design evaluations using evidential reasoning based on subjective safety and cost analysis", Reliability Engineering and System Safety, Vol. 52 No. 2, pp. 113-28.