UNIVERSITY OF HERTFORDSHIRE
	     COMPUTER SCIENCE RESEARCH COLLOQUIUM

			    presents


	       "Safety-critical Systems Development
		   and Safety Case Construction"

		     Dr. Catherine Menon
      (School of Computer Science, University of Hertfordshire)

		  8 November 2017 (Wednesday)

			   1 - 2 pm


		  Hatfield, College Lane Campus
			Seminar Room C408

		  Everyone is Welcome to Attend

		  Refreshments will be available


Abstract:

This talk will look at some of the issues involved in developing
safety-critical systems and constructing compelling arguments to provide
assurance in the safety properties of these systems. I’ll examine
the difference between random hardware failures and systematic software
failures and discuss how different development techniques provide us with
differing levels of confidence in our safety claims. I’ll also provide
an introduction to constructing a safety case, or safety argument, and
present some of my recent research on how to resolve tension between
competing safety, ethics and security needs.


---------------------------------------------------
Hertfordshire Computer Science Research Colloquium
http://cs-colloq.cs.herts.ac.uk