Summary: We intuitively accept that airplanes will not fall out of the sky, and we expect that software written for defense and life critical systems is robust and secure. But we want ever increasing action from devices with ever decreasing size, weight, power, and cost.