safety.inge.org.uk

See the Safety Events page

• Abnormal Distribution - Peter Ladkin and Causalis on aviation safety and logic
• David Crocker's verification blog - Formal verification of C/C++ code for critical systems
• Safety and Reliability Society
• Safety Critical Mailing List
• System Safety Skeptic - Terry Hardy

• AAIB reports - UK Air Accident Investigation Branch
• MAIB reports - UK Marine Accident Investigation Branch
• RAIB reports - UK Rail Accident Investigation Branch
• ASN Aviation Safety Database
• Warwick Air Accident Database
• CRICA Compendium - Peter B. Ladkin's compendium of Computer-Related Incidents with Commercial Aircraft, containing accident reports, discussion, papers, etc.

• IET Safety Community
• IET/BCS/SaRS Independent Safety Assurance Working Group
• Safety and Reliability Society
• Safety Critical Systems Club
• System Safety Society

• Causalis - why-because analysis
• CSE publications - full text of CSE's papers, including work by Ron Pierce and Alastair Faulkner [via the Internet Archive]
• James Inge - safety management
• Tim Kelly - safety, dependability and assurance cases
• John McDermid - high integrity systems engineering
• Nancy Leveson - including requirements specification and analysis, software system safety, system safety and accident models, organisational and culture issues, human-machine interaction and software fault tolerance
• Felix Redmill - risk
• Neil Storey - electronics, data and safety-critical systems