2 ms·
You need to read Leveson's full report. It details quite clearly what role software played. If you're focusing on software and avoiding bugs you will at best h
by blub 9y ago
You need to read Leveson's full report. It details quite clearly what role software played.
If you're focusing on software and avoiding bugs you will at best have good quality software, when the goal is to have a safe system. SW is just part of the picture.
- SomeStupidPoint 9y agoI'm not arguing against hardware interlocks. I'm saying that's a weird example to pick of a case against type systems (eg, by asking how they'd have helped prevent that issue), since in that particular case, it actually sounds like a type system would have caught the software glitch that caused the issue.