• Some useful components for embedded software.

• Models of programs, such as data flow and control flow graphs.

• An introduction to compilation methods.

• Analyzing and optimizing programs for performance, size, and power consumption.

• How to test programs to verify their correctness.

• Design examples: Software modem, digital still camera.