Embedded Systems Research Group
The Embedded Systems Research Group at the University of Leicester is the home of research into a wide range of issues concerning hardware, software, development, maintenance, and verification of all aspects of embedded systems. We pride ourselves on the novelty, applicability, and relevance of the work we do - both theoretical and practical. The research carried out in the ESRG can be broadly divided into 4 main categories:
- The design and construction of software for embedded systems where there are severe resource constraints, for instance limited CPU performance and memory, while at the same time a demand for predictable behaviour.
- Software Engineering techniques for systems development and verification, particularly related to safety-critical systems.
- Models of concurrent systems and programming languages for concurrency.
- Hardware compilation - tools, techniques, and applications for Field Programmable Gate Arrays.
Our work is utilised in a number of application domains, for instance automotive designs where low cost and high reliability are key design requirements.
If you have any queries about the ESRG, please contact Alistair McEwan.