Back to list of courses

Back to System Safety Engineering

Computers and Safety (CASA)

Course details

Book course online button

Overview

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.

Prerequisites

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

AuthorTitlePublisherYear
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

Make sure you book your place for the next course w/c 5th March 2018.

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

To book your place, please complete the booking form: CPD Booking Form (MS Word  , 54kb) and the accompanying payment form: CPD Payment Form 17/18 (MS Word  , 38kb) and return to Heather Taylor, our CPD & Postgraduate Programmes Administrator. Payment for your place can be made via credit/debit card or invoice (please email Heather Taylor).

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.