School of Mathematics, Computer Science & Engineering
  1. About the School
  2. Research
  3. Engineering & Mathematics scholarships & funding
  4. Computer Science scholarships and funding
  5. Placements and internships
  6. Our London location
  1. Research Centre for Software Reliability
  2. Research
  3. Research Projects
School of Mathematics, Computer Science & Engineering

SHIP

(Safety of Hazardous Industrial Processes in the presence of design faults).

Duration: 1993-1995.
Funding source: CEC ENVIRONMENT programme (DG XII).
Partners: Adelard (UK), IEI-CNR (Pisa, Italy), VTT (Finland), Corelis Technology (France), ENEA (Rome, Italy).
Funding to CSR: 178kECU (Total value of project, 600kECU)
Contact at CSR: Prof Bev Littlewood

Synopsis: Hazardous industrial processes are of increasing social concern, and need adequate means for judging their safety. As industrial systems become more complex, this becomes increasingly difficult. Complexity increases the risks of both random component failures and design-related failures. Random plant failures can be mitigated by incorporating redundancy in plant design. Design faults cannot be mitigated in the same way (as the design fault would be common to redundant components), so design faults may become the dominant factor affecting the safety of complex plant.

In some industries, such as aerospace, railways, and nuclear power, quantified safety targets are set for plant. For random hardware failures there are well-established techniques for quantifying the reliability and safety implications. The assessment of the impact of design faults is more difficult. The main problem with quantification is that we do not know, in advance, what design faults remain in the plant so it is difficult to quantify the impact on safety.

The overall objective of SHIP was to devise a means of assessing, ideally numerically, the achieved reliability or safety of a system in the presence of design faults, and hence improve current industrial practice for safety assessment. This problem was tackled from an unusual viewpoint. In software, all failures arise from design faults. So the SHIP project investigated a range of software engineering techniques for minimising and estimating failures to see if they could be applied to industrial plant. As a secondary objective we were also interested in whether plant-level engineering techniques could improve existing software methods.

Further information on SHIP.