Iec | 61508-7

That was the key. We had done event trees. We had modeled the truck hitting a person, a wall, a drop-off. We never modeled the truck “forgetting” its own odometry—because that wasn’t a physical event. It was a ghost in the logic.

And there it was. Clause C.4.3: “Analysis of potentially dangerous sequences of states and events.” iec 61508-7

Dr. Aris Thorne, Principal Systems Engineer, Hailstone Automated Mining That was the key