Languages for Design and Verification

An embedded system is a computer masquerading as something else that must perform a small set of tasks cheaply and eciently. A typical system might have communication, signal processing, and user interface tasks to perform.