York Safety Summer School – June 2023

For over twenty years members of the High Integrity Systems research group have delivered private teaching to companies and regulators in areas such as aviation, railway, maritime, energy, military and automotive.
At our Safety Summer School in June 2023, delivered at the University of York, we are offering open CPD courses for all to attend.

The courses on offer are:

An Introduction to System Safety Engineering and Management
6th - 8th June 2023
Aimed at Engineers and Engineering Managers that work in safety-critical industries, the course provides an overview of key concepts of system safety engineering and management discipline and explains how these are related to systems development, project management and operations / service delivery.

Assured Software Engineering and Proof
12th - 16th June 2023
This course will train participants to apply techniques like automated theorem proving and model checking in assured development. It will focus on the Isabelle system, which harnesses advanced techniques like functional programming, deductive proof, automated verification, and code generation.

Safety Cases: Safety Arguments for GSN
13th - 14th June 2023
The course covers the role, purpose and typical content of safety cases; explains how safety case arguments and evidence can be selected; relates the development and maintenance of safety cases to the engineering lifecycle; details how safety case arguments can be critically assessed; and explains the regulatory context for a safety case development regime.

For full details on courses available at York please visit:
https://www.cs.york.ac.uk/professional/

Should you have any questions please contact cs-cpd@york.ac.uk

Best regards
Alex King


Department of Computer Science
The University of York
YO10 5GH
Telephone: +44 (0)1904 325402