SHIP: Research Programme

In the project, we first established the state-of-the-art for safety practice in industrial and software systems development. We also needed to establish a methodology for combining the available evidence as a basis for making reliability estimates. Within that general framework we needed to examine individual analysis methods (drawn from existing software practice) which provide the basic evidence used in a safety assessment. We conducted a series of case studies to determine whether the individual assessment methods and the overall framework were practicable. Finally we reviewed the impact the results could have on existing industrial practice and standards.