"Current computer software, including operating systems, have poor reliability and security. Unfortunately, this lack of reliability also applies to embedded systems, that is physical systems controlled by a microprocessor, such as those used on cars, airplanes, MRI scanners, pacemakers, insulin pumps, cameras, set-top boxes, mobile telephones, appliances, and many more. Software failures in these ...