ISO 26262 assumed you could specify the right behaviour
Functional safety rests on a quiet assumption: that the correct behaviour of the item
is known, and the only problem is making the electronics deliver it reliably. For an
airbag controller or an electric power steering ECU, that assumption holds. The
specification is short, the environment is bounded, and "correct" is unambiguous.
Automated driving broke the assumption. When the item has to decide whether a shape at
80 metres is a stopped vehicle or an overhead sign, the hard part is no longer
delivering the specified behaviour — it is knowing what the specified behaviour should be.
A perfectly fault-free implementation of an insufficient specification is still a hazard,
and ISO 26262 has no clause for it.
ISO 21448 named the gap: insufficiency, not fault
SOTIF took the hazards that remain when nothing is broken and gave them a structure.
Its central move is to stop reasoning about components and start reasoning about
scenarios: the known-safe ones, the known-unsafe ones you must engineer
away, and — the hard part — the unknown-unsafe ones you have not met yet.
The corresponding concept is the triggering condition: the specific
circumstance that activates a latent insufficiency. Low sun at a particular elevation.
A cyclist carrying a large flat object. Retro-reflective road works markings. None of
these are faults. All of them are hazards.
The practical consequence. Under ISO 26262 you reduce risk by adding
safety mechanisms. Under SOTIF you reduce risk by improving the function, restricting
the operational design domain, or proving the residual unknown space is small enough
to accept. These are entirely different engineering programmes with different budgets.
ISO/PAS 8800 addressed how the insufficiency gets in
SOTIF tells you that insufficiencies exist and must be bounded. It does not tell you
how to develop, evaluate and argue about a component whose behaviour was learned.
That is the gap ISO/PAS 8800 fills: an AI safety lifecycle that sits alongside the
existing ones and produces evidence the other two standards can consume.
It covers the things that decide whether a machine-learned function is safe long before
anyone runs a scenario test — how the dataset was specified and shown to cover the ODD,
how training and evaluation were separated, how performance degrades at the edges of the
distribution, how the system detects that it is out of distribution at runtime, and what
architectural measures contain a wrong answer when one is produced anyway.
And then the law arrives
None of this is optional once you want to operate. Germany's autonomous driving act
(StVG §1d–1l) and the implementing AFGBV ordinance allow SAE Level 4
vehicles to operate in a defined operational area — but demand a technical supervisor,
a demonstrable risk-minimal state, data recording, independent technical assessment and
a dossier the KBA will accept. At UNECE level, R157 and its successors do the same for
type approval. The EU AI Act adds obligations on data governance, logging and human
oversight for AI in safety components.
The regulator does not receive three standards. It receives one argument. If your
evidence is organised by standard rather than by hazard, you will spend the last three
months of the programme re-organising it under time pressure.