Current projects

The aim of this project is to provide a non-intrusive tool to determine the program trace of a deployed embedded device; in particular, a device that no longer contains hardware or software instrumentation for the purpose of tracing or debugging.

The tool RiTHM (Runtime Time-triggered Heterogeneous Monitoring) is a prototype implementation of the group's work on runtime monitoring including work on time-triggered monitoring, power-aware monitoring, and accelerator technology for monitoring.

Real-time Embedded Software Laboratory (RESL) has been established as part of the Canada Foundation for Innovation (CFI) funded project emSYSCAN: "Embedded Systems Canada" at the University of Waterloo (Managed by CMC Microsystems). The lab provides platforms and equipment for the embedded systems related research and experimentation. Located in the Department of Electrical & Computer Engineering, this National Laboratory is open and accessible to Canada wide research community. 

DataMill is a community-based easy-to-use services-oriented open benchmarking infrastructure for performance evaluation.

Distributed real-time systems require predictable networks to exchange application data within bounded delays. Switched Ethernet is an attractive networking technology for distributed real-time systems.

Time-triggered runtime verification aims to maximize predictability of the monitoring systems and thus tries to enable an engineerable solution for runtime monitoring.

Time-aware instrumentation aims to give the developer control over the overhead introduced by software-based instrumentation methods.