Embedded Systems (H7061)

15 credits, Level 5

Spring teaching

This module introduces you to the modelling, design and analysis of contemporary and future embedded systems (integrations of computation and communication with physical processes).

You'll cover the following topics:

  • actuators and sampling
  • analog-to-digital and digital-to-analog converter
  • assembly language and pseudocode
  • communication interfaces
  • concurrent composition of state machines and hierarchical modelling
  • embedded processors
  • equivalence and refinement
  • event/time driven programming
  • feedback control
  • finite-state machines
  • I/O hardware
  • interrupts and exceptions
  • linear temporal logic
  • memory architectures
  • multitasking and scheduling
  • pulse width modulation
  • reachability analysis and model checking
  • sensors and discretisation
    timed automata and supervisory control
  • timer/counter.



42%: Lecture
58%: Practical (Laboratory)


100%: Coursework (Project, Test)

Contact hours and workload

This module is 150 hours of work. This breaks down into 53 hours of contact time and 97 hours of independent study.

This module is running in the academic year 2019/20. We also plan to offer it in future academic years. It may become unavailable due to staff availability, student demand or updates to our curriculum. We’ll make sure to let our applicants know of such changes to modules at the earliest opportunity.