Browse

Claims

Search the graph by meaning. Each result carries its current verdict; open one to see its decomposition, provenance, and the reasoning behind the assessment.

5 claims

The activity of identifying hazards for safety analysis and assurance — techniques (HAZOP, FMEA, STPA, hazard lists) and the completeness of the resulting hazard sets. Covers claims about whether identification methods miss hazards and how such gaps affect downstream safety arguments; excludes quantified risk-estimation claims (see Probabilistic risk assessment).

Major safety assurance failures often involve hazards that were identified but inadequately assessed or controlled

UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Safety assuranceimportance · minorImportance 0.35, from 0 to 1 · minor: narrow or largely settled, cheap to get right. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →

Traditional hazard analysis techniques miss hazards arising from component interactions in complex software-intensive systems

UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Component interaction hazards Safety assuranceimportance · minorImportance 0.35, from 0 to 1 · minor: narrow or largely settled, cheap to get right. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →

Accident investigations frequently find hazards that prior hazard analyses failed to identify

Incomplete hazard identification is a principal cause of safety assurance failures

SupportedEvidence favors the claim, but the chain is incomplete or the sources are secondary.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Safety assuranceimportance · minorImportance 0.35, from 0 to 1 · minor: narrow or largely settled, cheap to get right. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →

The Nimrod Review found the Nimrod safety case was a paperwork exercise that missed key dangers

UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Safety assurance Nimrod Reviewimportance · settledImportance 0.20, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →

Contribute

If a claim here is wrong, or missing evidence, open it: every claim page carries its own entry for challenges, evidence, and corrections. If the graph is missing a claim entirely, propose it below. A proposal is reviewed on its merits; accepted claims are matched against the graph and enter it with their reasoning on record.