The engineering of reliable software is an emerging field which is of increasing importance as computers become more powerful and communications bandwidth increases. Society is becoming more reliant on these computing devices as they become entrenched in everyday life. Thus, the software that controls these devices must be designed and created correctly.
Our research focuses on two areas of reliability. The first is software supervision, which addresses ways of detecting failure in executing software. Secondly, we are looking at reliability in distributed systems. This examines issues related to systems using an unreliable communications medium such as the internet.
For more details, please see our research page.
For information on doing a URA for the Spring 2001, click here.
Top of page
The Bell Canada Software Reliability Laboratory was opened on October 26,
1994. The laboratory was an outgrowth of previous research collaboration
between Bell Canada, a major telecommunication service provider in Ontario
and Quebec, and the University of Waterloo.
Our research focuses on two areas of reliability.
The first is software supervision,
which addresses ways of detecting failure in executing software.
Secondly, we are looking at reliability in distributed systems.
This examines issues related to systems using an unreliable
communications medium such as the internet.