Grant: Discovery Grants Program - Individual
University of Ontario Institute of Technology
$15,000.00
Testing and analysis of concurrent and heterogeneous computing software
FY 2016-17
Summary
The main objective of the proposed research program is to enhance the testing and analysis of software written for multi-core and heterogeneous computing systems (e.g., systems with multiple CPU and GPU on a single chip). Previously, we have evaluated different concurrency (multi-core) fault detection techniques, including testing, static analysis and model checking. Our results have allowed us to combine the different kinds of fault detection tools together to improve both the effectiveness and efficiency of concurrency bug detection. The proposed research will build on this previous research while expanding it in several new directions:1. Using artificial intelligence techniques to enhance the testing and analysis of concurrent software. 2. Assessing the usability of testing and analysis tools for concurrent software. 3. Testing and analysis of heterogeneous computing software. The proposed research program will have the greatest impact in the field of Software Engineering. Our research will benefit the larger community by providing new tools that will enhance the quality of multi-core and heterogeneous computing software.
Program
Discovery Grants Program - Individual
Location
Ontario, Canada
Recipient Type
Academia
Type
Grant
Source
NSERC's Awards Data
As published
Application id
356003-2013
Name nom
Bradbury, Jeremy
Department département
Science, Faculty of
Organization id
19222
Institution établissement
University of Ontario Institute of Technology
Province en
Ontario
Province fr
Ontario
Country en
CANADA
Country fr
CANADA
Fiscal year exercice financier
2016
Competition year année de concours
2013
Award amount
15000
Program id
RGPIN
Program name en
Discovery Grants Program - Individual
Program name fr
Programme de subventions à la découverte - individuelles
Group en
Discovery grants programs
Group fr
Programmes de subventions à la découverte
Committee code
1507
Committee name en
Computer Science
Committee name fr
Sciences informatiques
Area of application code
801
Area of application group en
Information and communication services
Area of application group fr
Services d'information et de télécommunications
Area of application en
Computer software
Area of application fr
Logiciel
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
4
Nb partie
5
Application title
Testing and analysis of concurrent and heterogeneous computing software
Keyword
NSERC
Application summary
The main objective of the proposed research program is to enhance the testing and analysis of software written for multi-core and heterogeneous computing systems (e.g., systems with multiple CPU and GPU on a single chip). Previously, we have evaluated different concurrency (multi-core) fault detection techniques, including testing, static analysis and model checking. Our results have allowed us to combine the different kinds of fault detection tools together to improve both the effectiveness and efficiency of concurrency bug detection. The proposed research will build on this previous research while expanding it in several new directions:1. Using artificial intelligence techniques to enhance the testing and analysis of concurrent software. 2. Assessing the usability of testing and analysis tools for concurrent software. 3. Testing and analysis of heterogeneous computing software. The proposed research program will have the greatest impact in the field of Software Engineering. Our research will benefit the larger community by providing new tools that will enhance the quality of multi-core and heterogeneous computing software.
