> aerospace engineering is a prime example of how software can be made more reliable by tolerating failures instead of relying on it not to fail

Exactly. I often have a hard time getting this point across, glad I succeeded.