Blogs

23 Jun 2024

• 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
• DisasterCast - podcast series by Drew Rae
• Safety and Reliability Society
• System Safety List - the replacement list hosted by Causalis Limited and administered by Peter Ladkin and the SCSC, with archives from October 2012.
• System Safety Skeptic [Archived] - Terry Hardy

Accidents

23 Jun 2024

• 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
• CRICA Compendium - Peter B. Ladkin's compendium of Computer-Related Incidents with Commercial Aircraft, containing accident reports, discussion, papers, etc.

Institutions

7 Jan 2013

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

Papers

26 Oct 2011

• Causalis - why-because analysis
• CSE publications [Archived] - full text of CSE's papers, including work by Ron Pierce and Alastair Faulkner
• 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