Engineering and design
Module code: H7061
15 credits in spring semester
Teaching method: Laboratory, Lecture
Assessment modes: Unseen examination, Coursework
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
Module learning outcomes
- To gain a working knowledge of the architectural principles of microcomputer systems and the interrelationships between hardware and software.
- To gain a working knowledge of the design of low-complexity embedded systems utilising the various interfacing modules of the microcontroller to the outside world.
- Ability to demonstrate the software application of microcontroller interfacing and the use of controller systems to implement timing and interrupt requirements.
- Demonstrate software algorithmic skills required to control autonomous embedded systems.