Embedded Systems

Notes on designing, building, and verifying embedded and cyber-physical systems.

1. What an Embedded System Is, and How It's Designed

2. Modeling Foundations: Dynamics, State Machines, Concurrency

3. Instruction Sets & Processor Architecture

4. CPU Internals, Memory, and I/O

5. Buses, Memory-Mapped Devices, Sensors & Actuators

6. Software: Program Design, Compilation, Optimization

7. Multitasking, RTOS, and Scheduling

8. Multiprocessors & SoC

9. Networking & Distributed Embedded Systems

10. Verification & Correctness (Formal Methods)

11. Security & Privacy

12. Capstone: System Design Methodology & QA

Back to Notes