Program logic bugs vs input/environmental errors

[Walter Bright via Digitalmars-d]

On 10/3/2014 4:27 AM, Kagamin wrote:
> Do you interpret airplane safety right? As I understand, airplanes are safe
> exactly because they recover from assert failures and continue operation.

Nope. That's exactly 180 degrees from how it works.

Any airplane system that detects a fault shuts itself down and the backup is 
engaged. No way in hell is software allowed to continue that asserted.