Grant: Collaborative Research and Development Grants
University of Waterloo
$190,761.00
Trace analysis for safety assurance of critical software systems
FY 2018-19
Summary
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.*
Program
Collaborative Research and Development Grants
Recipient
Location
Ontario, Canada
Recipient Type
Academia
Type
Grant
Source
NSERC's Awards Data
As published
Application id
485849-2015
Name nom
Fischmeister, Sebastian
Department département
Electrical & Computer Engineering
Organization id
33
Institution établissement
University of Waterloo
Province en
Ontario
Province fr
Ontario
Country en
CANADA
Country fr
CANADA
Fiscal year exercice financier
2018
Competition year année de concours
2015
Award amount
190761
Program id
CRDPJ
Program name en
Collaborative Research and Development Grants
Program name fr
Subventions de recherche et développement coopérative
Group en
Research partnerships programs
Group fr
Programmes de partenariat
Committee code
141
Committee name en
University/Industry
Committee name fr
Universités/industrie
Area of application code
1001
Area of application group en
Northern development
Area of application group fr
Développement du nord
Area of application en
Construction, transportation and communications
Area of application fr
Construction, transports et communications
Research subject code
2705
Research subject group en
Information technology
Research subject group fr
Technologie de l'information
Research subject en
Software and development
Research subject fr
Logiciels et développement
Partie
3
Nb partie
3
Application title
Trace analysis for safety assurance of critical software systems
Keyword
NSERC
Application summary
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.*
