CONTENTS

Applying HAZOP to Software Engineering Models

P. Fenelon - University of York

B.D. Hebbron - University of Teeside

Fault Analysis of the Software Generation Process - The FASGEP Project

M.P. Cottam - Lloyd's Register

J. May and T. Cockram ·- Open University

J. Speer - Lucas Electronics

B. Kinch and J. Cooper - Lucas Engineering &. Systems

L, Winsborrow - Nuclear Electric

C. Bright - Lloyds Register

Testing Safety Critical Software via Simulating Failures of The Environment System

Hong Zhu, P. Hall, J. May - Open University

T. Cockram - Rolls Royce

M. Czachur - Lloyds Register Safety & Technology

Software Quality Assurance for Safety Critical Systems

G. Gloe, G. Rabe - Technischer Uberwachungsverein Nord e.V.

Hamburg, Germany

"Out of control" - The Anatomy of Control System Failure

G.R. Ward and A.R. Jeffs - HSE Technology & Health Sciences Division

The Use of PSAs to Optimise Maintenance Requirements in the Management of Risk Associated with Safety Critical Equipment

G.J. Turner & B.E. Home - EWI Engineers & Consultants

System Integrity Classification A Practical Application of Integrity Level Concepts

I.H.A. Johnston, S.D. Pugh - The Centre for Software Engineering Ltd

A Practical Case Study of the Management of Reliability, Safety and other Concurrent Engineering Information

R.J. Collins - Sentient Systems Limited

J.N. Dent, A.D. Bennett - Smiths Industries Aerospace

Availability Assessment of an Automatic Offshore Firefighting System

S. Barren - Bureau Veritas

J. Wolfram - Heriot-Watt University

A HAZARD Identification Methodology for Programmable Systems

E.J. Broomfield, P.W.H Chung - Loughborough University of Technology

THE UNIFIED PARTIAL METHOD: Development Towards a Widely Acceptable DF Method for "Standard Systems"

V.P. Brand., J.J. Blenkin - AEA Technology

Risk Prediction – Can We and Should we

M. Bedwell - Coventry University

A High Integrity Electronic Overspeed Trip System Installed on Large Rotating Machines

G.C. Bruce, R.A. McConnell - ICI (Ammonia Production Area)

Leading Edge Safety Shutdown System

R. Verrill - NNC Limited, K. McMinn - AEA Technology

Programmable Electronic Systems A Practical Approach

A.P. Medhurst - Cyfas Restbury International Ltd

The Role of Fire and Gas Systems in Risk Management

R.J.C. Bonn, M.R. Currie, C.H.W. Thomesen - BP Exploration