News for hackers. Stuff that matters.

A comment on How the Boeing 737 Max disaster looks to a software Developer. Parent comment

Re:How the Boeing 737 Max disaster looks to a software Devel... by alacombe on Thursday April 18, 2019 @04:53PM (#19694675)
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.
[ Parent | on HN ]
Re:How the Boeing 737 Max disaster looks to a software Devel... by samatman on Thursday April 18, 2019 @05:11PM (#19694820)
Ironically, 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.

[ Parent | on HN ]
Re:How the Boeing 737 Max disaster looks to a software Devel... by throwaway2048 on Thursday April 18, 2019 @05:14PM (#19694837)
Dosen't eliminate a single point of failure, after all a bitflip in the voting mechanism can also result in error.
[ Parent | on HN ]
Re:How the Boeing 737 Max disaster looks to a software Devel... by crimsonalucard on Thursday April 18, 2019 @04:56PM (#19694687)
Yeah, you're right. Can't completely get rid of tests but the irony still exists.
[ Parent | on HN ]