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.


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
    • A Hexacopter with autopilot on RT-Linux attached to a stand for experimentation
    • Research engineers Yassir Rizwan, Thomas Reidemeister, Peiyi Chen
  • 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

How to Access

RESL Contact:

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

Looking for promotional help for your innovation?

Scroll to Top

Current Service Outages

Intermittent system issues are resulting in temporary loss of access to CMC services. We are working to resolve this. Please report issues using our support system.  
We apologize for the inconvenience this may cause.

Thanks in advance for your patience.