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.

Oliver Bringmann, Universität Tübingen, Walter Lange, Universität Tübingen, Martin Bogdan, Universität Leipzig.