Skip to content
All insights

System safety · · 5 min read

Turning hazard analysis output into verifiable requirements

A hazard analysis that stops at a mitigation statement has done half the job. The other half is writing something a test engineer can act on.

A hazard analysis workshop typically ends with a mitigation column filled in: 'system shall detect and respond to sensor fault'. This reads as progress, and it is usually where the analysis is filed as complete. It is also, on its own, untestable — nothing in that sentence tells a verification engineer what evidence would satisfy it.

What is missing between hazard and requirement

  • A stated detection boundary: which faults, within what latency, under what operating conditions.
  • A defined response: the specific safe state, and how long the system may remain in a degraded state before escalating.
  • A measurable threshold, not a qualitative one — a number, a range or an explicit boolean condition.
  • An owner for the requirement who can be asked what happens if the condition is never true in testing.

The translation step

Turning a mitigation statement into a requirement is a distinct piece of engineering work, and it usually needs someone who understands both the hazard analysis and the system's actual behaviour under fault injection. 'Detect and respond to sensor fault' becomes several requirements: a fault detection requirement with a latency bound, a response requirement naming the safe state, a requirement covering the transition itself, and a requirement covering what happens if detection fails. Each one needs its own verification method stated at the point it is written, not inferred later by whoever picks up the test plan.

If two competent engineers would design different tests from the same requirement, the requirement is not finished.

Why this is worth the effort

Untestable requirements do not fail loudly. They pass review because they sound reasonable, and they fail later — in an audit, or worse, in the field — because the verification that was supposed to close them was actually closing something narrower or something different. The cost of writing a precise requirement is paid once, early. The cost of an imprecise one is paid repeatedly, later, by whoever has to reconstruct what was actually meant.

CRA SCOPE CHECKER

Does the CRA apply to your product?

Enter your website. We read what you make and sell, then ask only the few questions the regulation turns on.

About 60 seconds. No account. PDF report on request.

More insights