Embedded (or reactive) systems monitor respond to or control an external environment through sensors actuators and other I/O interfaces. These systems are inherently concurrent and require reliable software which satisfy timing constraints. This module provides an introduction to the fundamental principles underlying the specification design and implementation of embedded systems with particular emphasis on the software.