Book Description
An introduction to the engineering principles of embedded systems, with a focus on modeling, design, and analysis of cyber-physical systems.
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.
The second edition offers two new chapters, several new exercises, and other improvements. The book can be used as a textbook at the advanced undergraduate or introductory graduate level and as a professional reference for practicing engineers and computer scientists. Readers should have some familiarity with machine structures, computer programming, basic discrete mathematics and algorithms, and signals and systems.
This open book is licensed under a Creative Commons License (CC BY-NC-ND). You can download Introduction to Embedded Systems ebook for free in PDF format (26.2 MB).
Table of Contents
Chapter 1
Introduction
PART I
Modeling Dynamic Behaviors
Chapter 2
Continuous Dynamics
Chapter 3
Discrete Dynamics
Chapter 4
Hybrid Systems
Chapter 5
Composition of State Machines
Chapter 6
Concurrent Models of Computation
PART II
Design of Embedded Systems
Chapter 7
Sensors and Actuators
Chapter 8
Embedded Processors
Chapter 9
Memory Architectures
Chapter 10
Input and Output
Chapter 11
Multitasking
Chapter 12
Scheduling
PART III
Analysis and Verification
Chapter 13
Invariants and Temporal Logic
Chapter 14
Equivalence and Refinement
Chapter 15
Reachability Analysis and Model Checking
Chapter 16
Quantitative Analysis
Chapter 17
Security and Privacy
PART IV
Appendices