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.
Real-time Embedded Systems Lab (RESL)
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