44 ms·
Do we know if the issue is bad software or bad specs? Even formal methods won't save you from a bad spec.
by jimktrains2 8y ago
Do we know if the issue is bad software or bad specs? Even formal methods won't save you from a bad spec.
- khuey 8y agoI don't think we've seen anything to indicate that the problem is not a bad spec.
- jnbiche 8y agoWe haven't seen anything either way. Even the allegation that it's the MCAS system is totally unconfirmed to the public.
- jnbiche 8y agoYes, and I mentioned this in my second paragraph. And no, we the public know very little about this point about the current alleged MCAS problem, but we know that many problems with safety critical software comes from implementations, not specs.