Introduction to embedded systems : a cyber-physical systems approach / Edward A. Lee and Sanjit A. Seshia

Includes bibliographical references and index.

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. Sensors and actuators -- 8. Embedded processors -- 9. Memory architectures -- 10. Input and output -- 11. Multitasking -- 12. Scheduling -- III. Analysis and verification -- 13. Invariants and temporal logic -- 14. Equivalence and refinement -- 15. Reachability analysis and model checking -- 16. Quantitative analysis -- 17. Security and privacy -- IV. Appendices -- A. Sets and functions -- B. Complexity and computability.

The most visible use of computers and software is processing information for human consumption. The vast majority of computers in use, however, are much less visible. They run the engine, brakes, seatbelts, airbag, and audio system in your car. They digitally encode your voice and construct a radio signal to send it from your cell phone to a base station. They command robots on a factory floor, power generation in a power plant, processes in a chemical plant, and traffic lights in a city. These less visible computers are called embedded systems, and the software they run is called embedded software. The principal challenges in designing and analyzing embedded systems stem from their interaction with physical processes. This book takes a cyber-physical approach to embedded systems, introducing the engineering concepts underlying embedded systems as a technology and as a subject of study. The focus is on modeling, design, and analysis of cyber-physical systems, which integrate computation, networking, and physical processes.