School of Computing Science

Projects

Designs Amenable to Safety Case Demonstration

Systems for use in safety-critical applications, such as many of those found within the nuclear power generation industry, must be highly dependable. Further, it must be possible to demonstrate to the appropriate certification authorities that such systems are likely to achieve the levels of dependability required of them. Dependability is achieved via a rigorous development _process_, which ensures that the appropriate methods and techniques are applied, and is demonstrated via a safety case. This project aims to define a system development process which provides traceability of safety concerns from requirements specification through to design, thus helping to ensure that all safety concerns are adequately addressed, and easing the task of preparing the safety case for a system.