IEC 61508 assumed deterministic software
Functional safety rests on a quiet assumption: that the correct behaviour of the
system is fully specified, and the job of the safety lifecycle is to make the
electronics deliver it reliably. For a safety-rated e-stop circuit or a fixed
collision-avoidance interlock, that assumption holds — the logic is short, the
inputs are bounded, and "correct" is unambiguous and testable line by line.
A robot that has to decide whether a shape on the floor is a pallet or a person
breaks the assumption in exactly the way an automated vehicle does. The hard part
is no longer delivering specified behaviour — it is knowing what the specified
behaviour should be when the input space is effectively unbounded. IEC 61508
has no clause for a function that was implemented perfectly and is still wrong.
The AI-safety family named the gap — guidance, then specification
ISO/IEC TR 5469, published in 2024, was the first document to describe —
at guidance level — the properties of AI systems that matter for functional safety,
the risks they introduce, and candidate methods to treat them. It set the vocabulary
rather than mandatory requirements.
ISO/IEC TS 22440 is the normative follow-on: a multi-part technical
specification building directly on TR 5469, defining safety requirements for
AI-enabled systems that adapt over time and how to integrate AI verification into
the functional-safety lifecycle. Several parts are still in development at the time
of writing — this is a standards family being written in real time, and we track it
as it moves rather than waiting for a finished edition to start the conversation.
ISO/IEC TS 25223 narrows in on the single hardest sub-problem: how does a
system know when it doesn't know? Uncertainty quantification is what separates a
perception stack that fails loudly from one that fails silently and confidently.
The practical consequence. Under IEC 61508 you reduce risk
with diagnostics and redundancy. Under the AI-safety family you reduce risk by
improving the model, calibrating its confidence, or limiting what it is allowed
to decide unsupervised. These are different engineering programmes with different
budgets and different people in the room.
UL 4600 and UL 3115 addressed how you prove it
UL 4600 was written deliberately technology-agnostic: a safety case built from
claims, arguments and evidence that applies as well to a delivery robot or an AMR
fleet as it does to a self-driving car. It does not tell you how to build the robot
— it tells you how to show that what you built is safe enough, and what is still
open.
UL 3115, published in October 2025, is narrower and newer: an outline for
the safety of AI-based products specifically, covering both AI-embedded products
— autonomous robots among them — and pure digital AI products. It complements
hardware and electrical safety rules rather than replacing them, and maps its
criteria onto ISO, IEC and NIST frameworks so evidence built for one recognises the
other.
And then the regulator or the customer arrives
None of this is optional once you want to sell or deploy. The EU's Machinery
Regulation (EU) 2023/1230, applicable from January 2027, replaces the old
Machinery Directive with an explicitly widened scope that names autonomous mobile
machinery, AI-based safety systems, industrial robots and cobots. ISO 3691-4 and
ANSI/RIA R15.08 set the acceptance bar for AGVs and industrial mobile robots in
Europe and the US respectively.
None of these bodies receive three standards. They receive one argument. If your
evidence is organised by standard rather than by hazard, you will spend the weeks
before a customer audit or a certification submission re-organising it under
pressure.