Accessibility statement

Back to list of courses

Back to System Safety Engineering

Computers and Safety (CASA)

Course details

Book course online button


This course aims:

  • to introduce you to the issues to consider when computers are used in safety-critical or safety-related applications;
  • to give you an quick overview of how computer systems work, from basic hardware components up to application software;
  • to highlight areas of potential concern to safety engineers, including an in-depth examination of the software development process, considering especially aspects of requirements specification, design and analysis that are critical to deployment of computers in safety-critical applications;
  • to consider the structuring and collection of evidence for the software safety case.

By the end of the course, you will be able to:

  • explain the issues presented by the use of software in safety-critical systems;
  • evaluate software development lifecycle models for safety;
  • describe the basic elements of a computer;
  • discuss the relationship between system and software requirements;
  • differentiate between “bottom-up” and “top-down” views of software assurance;
  • discuss the issues in communicating requirements from one discipline to another;
  • select and participate in the application of appropriate software safety analysis techniques;
  • describe the role and principles of software architecture in the design process;
  • identify the decisions relevant for safety in a software development process;
  • compare the approaches taken by software standards;
  • assess the appropriateness of software verification and analysis in a system safety argument;
  • describe the issues and potential approaches to incorporating software COTS into a safety-critical system;
  • discuss the state of the art and future directions in software safety.

Who is the course for?

This course is suitable for:

  • practitioners across all domains including aerospace, military, railway, automotive, civil nuclear, civil maritime, medical devices, healthcare, and so on;
  • developers of equipment safety cases during design for software, hardware, procedures, systems and/or platforms;
  • developers of safety cases for operational safety and disposal;
  • reviewers of safety cases within an organisation or as an independent activity;
  • developers and reviewers of changes to existing safety-critical / safety-related equipment and operations;
  • project managers where development of a safety case is a significant element of projects they manage;
  • regulators of safety critical domains.


It is useful if you have taken our Foundations of System Safety Engineering course but we will accept equivalent industrial experience or prior learning. If you have not taken this course, please email us with your details, so we can assess your suitability for this course.

How is the course taught?

The course takes place over one week at the University of York. This week consists of a mixture of lectures and practicals, but we expect you to put in around 30 hours of private study.

Over the week, there will be a series of lectures and a number of case studies. The case studies give you the chance to work through an example to reinforce your learning from the lectures. This is also a chance to gain other insights from the experience and knowledge of other delegates. You will also be able to call on the experience and knowledge of our specialised teaching staff during these sessions.  

The course ends with an assessed exercise, which you have the option of completing. It takes approximately 35 hours in addition to the scheduled teaching time and can be completed on or off site. All assessed exercises are open (so you won't take an exam in supervised conditions), and comprise a report, case study, or documented piece of software.

If you choose to take and pass your assessment, your results can count towards the completion of the MSc in Safety Critical Systems Engineering. Our MSc in Safety Critical Systems Engineering is an accredited course, recognised by both the BCS, the Chartered Institute for IT and the Institution of Engineering and Technology (IET) for the purposes of partial fulfilment of the educational requirement for CEng registration.

Logo from BCS (Chartered Institute of IT) showing our accredited status




IET Accredited programmes logo



Find out more about what this professional accreditation means.

Recommended reading

J. Knight Fundamentals of Dependable Computing for Software Engineers Chapman and Hall/CRC 2012
N. G. Leveson Safeware Addison-Wesley 1995
J. Barnes High Integrity Software: SPARK approach Addison-Wesley 2006
A. Burns & A. Wellings Real-time systems and programming languages 4th Ed Addison-Wesley 2009

Book your place

Book your place

The next CASA instance will commence w/c 22nd March 2021.

Before booking, please read our Booking Conditions (PDF , 104kb).

To book your place, please complete the booking form and payment form below and return to our Student & Academic Administration Team. Payment can be made online via credit/debit card.

CPD Booking Form (MS Word , 62kb)

CPD Payment Form 2020-21 (MS Word , 65kb)

If you have any queries, please contact Heather Taylor, our course administrator, or call 01904 325536.

Image of Computers and Safety Teaching

Overall for me this course has been excellent. I’m on this course to gain further knowledge and it has certainly met my expectations.