This book provides an introduction to important themes in designing embedded systems. It gives particular attention to the areas of modelling, analysis, and the synthesis of hardware/software systems. The new edition examines the elements and demands of cyber-physical systems and covers the emerging area of low-power design along with safety aspects of embedded systems.
