This book provides an introduction to important topics related to the design of embedded systems, with the modeling, analysis, and synthesis of hardware/software systems playing a major role. This new edition also delves into the latest subject area: artificial intelligence.