This MSc covers a wide range of topics which underlie the design and verification of reliable embedded systems, including both software and hardware development methods and techniques. We will focus on currently relevant tools and best practice, and cover the development of both COTS (commercial off the shelf) systems and bespoke designs based on Field Programmable Gate Arrays.  We will also explore large scale embedded systems development and maintenance.