Designing for Safety: Current Activities at Bristol University and Future Directions
G. Hughes, J. May
, J. Noyes, Designing for Safety: Current Activities at Bristol University and Future Directions
. Procs. 5th Safety-Critical Systems Symposium
. ISSN 3540761349, pp. 38–55. February 1997. No electronic version available.
The Safety Systems Research Centre at the University of Bristol was set up with the aim of performing research on fundamental problems in satey analysis. Computer systems are a particular focus. This paper describes the centre's areas of research as understood at its inception. New views of failure modelling and system testing are explained.