3 ms·
There's another massive thing to highlight with this. Atomic Energy had a death and "fixed" the issues. Then they had more deaths. It really highlights the f
by sky2224 2y ago
There's another massive thing to highlight with this. Atomic Energy had a death and "fixed" the issues. Then they had more deaths.
It really highlights the fact that proper and adequate testing is absolutely and unquestionably required for a system like this, and that if you don't have testing and issues do occur, then you're essentially just going to keep creating issues for yourself while fixing the issues you created in the first place.
Therac-25 is genuinely horrifying.
- dreamcompiler 2y agoNot just testing. Any modern system this safety critical should be proven with formal methods.