Real-time Embedded Systems Lab (RESL)

The Real-time Embedded Systems Lab (RESL) at the University of Waterloo focuses on real-time embedded software and systems that are at the intersection of software technology, embedded networking, and applied formal methods. Real- time embedded systems are characterized by their interaction with the environment through sensors and actuators, their resource-constrained platforms, and non-functional properties. Part of the Embedded Systems Canada CFI project, the RESL is staffed by a full-time software engineer and is open to both academic and industrial use.

Remote Access – Tools and Technologies Available for You:

  • Safety-CriticalSoftware Development
    • Rapita RVS and the RTBx1210 – for target Worst Case Execution Time (WCET) and performance analysis of safety-critical systems
  • DataMill for Benchmarking
    • A heterogeneous set of machines with a wide variety of architectures (ARM, PowerPC, Intel, SPARC, AMD, and Atmel) for empirical evaluation of software performance.
  • Avionics Case Study
  • Tilera TILEncore-Gx36 Manycore platform
    • A 36-Core platform for experiments on power and application acceleration

Related Articles and Media Releases

Embedded Systems Research gets Real-time Boost

Contact Information


CMC Microsystems Contact:
James Millar, SOC Engineer
945 Princess Street B50
Kingston, ON K7L 3N6


RESL Contact:
Dr. Sebastian Fischmeister
University of Waterloo E5-4112
Waterloo, ON N2L 3G1
1.519.888.4567 ext:33694