Design and Verification of Microprocessor Systems for High-Assurance Applications

Microprocessors are the workhorses of modern high-assurance systems. New cars typically utilize dozens of microprocessors, managing critical functions such as braking, ignition, traction control, air bags, and so on. Most of the critical functions on modern aircraft, including flight control, engine control, flight management, and pilot displays, are microprocessor-based. Medical devices, transportation systems, power grids, communications infrastructure, defense systems, and numerous other...