Modern products such as automobiles, aircraft, and industrial equipment rely heavily on embedded software.  This software (that may be running on electronic control units, sensors, and microcontrollers) must integrate tightly with the physical system architecture...