Download Introduction to Embedded Systems by Edward A. Lee, Sanjit A. Seshia, The most visible use of computers and software is processing information for human consumption. we use them to write books (like this one), search for information on the web, communicate via email, and keep track of financial data. The vast majority of computers in use, however, are much less visible. They run the engine, brakes, seatbelts, airbag, and sound system in your automotive. They digitally encrypt your voice and construct a radio signal to send it from your cellular phone to a base station. They control your microwave oven, refrigerator, and dishwasher. They run printers ranging from desktop inkjet printers to giant industrial high-volume printers. They command robots on a industrial plant floor, power generation in a power station, processes in a chemical plant, and traffic lights in a city. They search for microbes in biological samples, construct pictures of the within of a human body, and measure vital signs. They process radio signals from space searching for supernovae and for extraterrestrial intelligence. they bring toys to life, enabling them to react to human touch and to sounds. They control aircraft and trains. These less visible computers are called embedded systems, and the code they run is named embedded code.


1 Introduction

I Modeling Dynamic Behaviors

2 Continuous Dynamics

3 Discrete Dynamics

4 Hybrid Systems

5 Composition of State Machines

6 Concurrent Models of Computation

II Design of Embedded Systems

7 Embedded Processors

8 Memory Architectures

9 Input and Output

10 Multitasking

11 Scheduling

III Analysis and Verification

12 Invariants and Temporal Logic

13 Equivalence and Refinement

14 Reachability Analysis and Model Checking

15 Quantitative Analysis

IV Appendices

A Sets and Functions

B Complexity and Computability