Computers and Safety
Module Title - Computers and Safety
Number of credits - 10
This course is primarily intended to give an introduction to railway engineers on the issues that must be considered when computers are used in safety-critical or safety-related applications.
The course starts with a rapid overview of the context in which computers are used and the contribution of computer based systems to accidents. The emphasis throughout this introduction is on highlighting areas that are of potential concern to safety engineers.
This is followed by a more in-depth examination of the software development process, considering especially aspects of requirements specification, design and analysis that are critical to the deployment of computers in safety-critical applications.
The course also considers the software safety case and the structuring and collection of evidence for the software safety case. This module is run by the HISE group at the University of York.