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.


Related Articles and Media Releases: Embedded Systems Research gets Real-time Boost


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

RESL Contact

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

Does your research benefit from products and services provided by CMC Microsystems?

Open source design platforms for accelerated system development.

Scroll to Top

CMC Planned Service Disruption

Friday, April 9, 5 PM to
Saturday, April 10, 5 PM EDT

CMC is performing upgrades on our datacenter infrastructure that will temporarily affect access to web applications.

We apologize for the inconvenience this may cause.