4 ms·
Proving something is correct is only part of the problem. A random bit flip (no matter amount of error correction and physical hardening) and your proven-correc
by alacombe 8y ago
Proving something is correct is only part of the problem. A random bit flip (no matter amount of error correction and physical hardening) and your proven-correct software goes amok. And this is just one of the many issue you can encounter dealing with the physical world.
- crimsonalucard 8y agoYeah, you're right. Can't completely get rid of tests but the irony still exists.
- samatman 8y agoIronically, the solution to this in spacecraft, where radiation is a given, is 2 of 3 with polling. The system which should have been using for attitude detection in the 737 MAX, and wasn't.
- throwaway2048 8y agoDosen't eliminate a single point of failure, after all a bitflip in the voting mechanism can also result in error.