* Virtual Library * Computing * Software Engineering * Hazards and Risk

Safety-Critical Systems

Please mail if you know of relevant on-line information not included here.

This document contains pointers to information on Safety-Critical Systems available around the world on the World Wide Web (WWW), the global hypermedia system providing worldwide information. Information on the following is available:
* Relevant newsgroups
* Repositories and mailing lists
* Courses
* Clubs and organizations
* On-line publications
* Journals
* Books
* Meetings
* Searchable bibliography

! indicates new information. * indicates (subjectively) recommended information.

Relevant newsgroups

Repositories and mailing lists

See also information on formal methods which are often recommended for safety-critical systems.


Critical Systems Engineering course, Integrated Graduate Development Programme in Software Engineering, Oxford University, UK.

Modular MSc in Safety Critical Systems Engineering, University of York, UK.

MSc in Safety-Critical Systems, Royal Holloway College, University of London, UK.

Safety-Critical Systems Short Course, Continuing Professional Development programme, Imperial College, London, UK.

Clubs and organizations

No known on-line information is available from some of the above organizations. Pointers would be gratefully received.

See also the French National Institute for Transport and Safety Research (INRETS) in English and French.

On-line publications


See also:


The following relevant books have on-line information:


This page is mentioned in:
Safety-critical systems and the World Wide Web, by Jonathan Bowen. Safety Systems: The Safety-Critical Systems Club Newsletter, 4(2):16, January 1995.

Last updated by Jonathan Bowen, 11 February 1997.
Further information for possible inclusion is welcome.

Part of the OUCL archive.