Grant: Collaborative Research and Development Grants

Safety-critical systems are pervasive throughout our society with everyday objects such as airplanes, cars, trains, or medical devices. The requested functionality and expectations from these systems is growing rapidly and consequently they become more complex. The challenge is that while the developers want to provide all the features that consumers want, developers must still make sure that the systems are working properly and are safe to use. This project will investigate the use tracing methods for establishing quantitative evidence that a system is working properly and will investigate runtime monitoring techniques to observe safety-critical systems in operation and determine whether behavioural anomalies are present.*