We provides a brief introduction to the wide
field of embedded systems. It covers the history and
the main aspects of hard- and software design for
embedded systems. The basic concepts of synthesis
and automated verification are introduced and
a short overview of well-known metrics, which are
used to describe the economical and technical attributes
of a system, is provided
