Useful Links

Here we have collected some useful safety-related links

General resources and academic centres

• Formal Methods resources
• National Centre for Software Reliability
• High Integrity Systems Engineering, York Univ.
• Safety Systems Research Centre, Bristol University
• Washington University Safety Group (Leveson)
• RST: Research: Publications
• RST's Reliability Hotlist: Contents
• DTI Safety Critical Systems Programme
• World Wide Web virtual library: Safety critical systems meetings

• US DOD System Safety
• US DOD Safety Standard 882C
• UK MOD Defence Standards Archive
• UK MOD Defence Standards (Safety)
• High Integrity Software Systems Assurance
• RTCA (air safety standards)

• NTSB (US Transport Safety)
• FAA Home Page
• Transportation Safety Board of Canada
• AAIB Air Accident Investigation
• HSE - Health and Safety Executive
• HSE - Nuclear Safety Directorate
• FDA - Food and Drug Administration

• SAFECOMP '2000 conference in Rotterdam
• ENCRESS
• Software Reliability and Metrics Club
• Safety-Critical Systems Club

• Search the Risks Digest
• Air Incidents (Peter Ladkin)