The Hardware Lock Principle
A control verification framework for cloud security and DevSecOps engineering In 1985, AECL engineers removed the physical interlocks from the Therac-25 radiation therapy machine. The software was handling it. The hardware was redundant. Six patients were irradiated with doses up to 200 times the prescribed level. Three died. The machine reported no error each time. The engineers were not negligent. […]