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.

Teaching

39%: Lecture
61%: Practical (Laboratory, Project)

Assessment

25%: Coursework (Practical assessment, Project, Test)
75%: Examination (Computer-based examination)

Contact hours and workload

This module is approximately 150 hours of work. This breaks down into about 53 hours of contact time and about 97 hours of independent study. The University may make minor variations to the contact hours for operational reasons, including timetabling requirements.

We regularly review our modules to incorporate student feedback, staff expertise, as well as the latest research and teaching methodology. We’re planning to run these modules in the academic year 2023/24. However, there may be changes to these modules in response to COVID-19, staff availability, student demand or updates to our curriculum. We’ll make sure to let our applicants know of material changes to modules at the earliest opportunity.

Courses

This module is offered on the following courses: