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 and assessment
We’re currently reviewing teaching and assessment of our modules in light of the COVID-19 situation. We’ll publish the latest information as soon as possible.
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’re planning to run this module in the academic year 2020/21. However, there may be changes to this module in response to COVID-19, or due to staff availability, student demand or updates to our curriculum. It may not be possible to take some module combinations due to timetabling constraints. 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:
- Electrical and Electronic Engineering (with an industrial placement year) BEng
- Electrical and Electronic Engineering BEng
- Electrical and Electronic Engineering MEng
- Electrical and Electronic Engineering with Robotics (with an industrial placement year) BEng
- Electrical and Electronic Engineering with Robotics BEng
- Electrical and Electronic Engineering with Robotics MEng
- Mechanical Engineering with Robotics (with an industrial placement year) BEng
- Mechanical Engineering with Robotics BEng
- Mechanical Engineering with Robotics MEng