MSc in Reliable Embedded Systems - Modules

University of Leicester

There are six modules on the MSc in Reliable Embedded Systems. Details are provided on this page.

Please note that:

  • The same modules are delivered in the UK (at the University of Leicester) and in [Malaysia](in PSDC), but the delivery dates, are different.
  • You can begin the MSc programme with any module: however, where possible, we recommend that you start with Module A1.
  • The modules can also be taken as individual short courses. Please note that the short courses are open to anyone (there are no educational requirements and no need for references, etc). To take these modules, you can simply register to attend one of the public courses. Please contact us for pricing and registration details.
  • The individual modules can also be delivered as stand-alone short courses anywhere in the world. When delivering short courses in this way, we are happy to adapt the course length and course content to match your precise requirements. Please contact us for further information about on-site short courses.
  • The field of embedded systems changes rapidly, and our modules are updated frequently. The module details provided here illustrate the typical range of topics which are considered in each module, and the depth of coverage. The detailed module contents are subject to change without notice.

Programming techniques for reliable embedded systems

[University of Leicester module ID: EG7510 - A1a]

Please refer to the Module page for further information.


Design and verification of high-integrity embedded systems

[University of Leicester module ID: EG7520 - A2a]

Please refer to the module page for further information.


Design patterns for reliable embedded systems

[University of Leicester module ID: EG7530 - A3a]

Please refer to the Module page for further information.


Using FPGAs in reliable embedded systems

[University of Leicester module ID: EG7540 - B1a]

Please refer to the Module page for further information.


Using an RTOS in reliable embedded systems

[University of Leicester module ID: EG7550 - B2a]

Please refer to the Module page for further information.


Multi-processor and multi-core designs for reliable embedded systems

[University of Leicester module ID: EG7560 - B3a]

Please refer to the Module page for further information.