Reference number : GC-2017-Q2-00354, amendment number : , agreement type : G, recipient legal name : Azim, Akramul (University of Ontario Institute of Technology), recipient country : CA, recipient province : nan, recipient city : Ontario, recipient postal code : nan, program name english : Engage Grants for Universities, program name french : Subventions d'engagement partenarial pour les universités, program purpose english : Design challenges exist for development, verification and validation of embedded systems. Our research_x000D_
addresses this challenge by developing tools, techniques and architectures that assist developers in building_x000D_
high-confidence embedded systems. Measurements International (MI) develops systems that are used for_x000D_
performance analysis, and these systems are very sensitive to accuracy of measurements of different metrics_x000D_
such as voltage, temperature, and resistance._x000D_
Embedded real-time systems often consist of smaller modules, which interact with each other. The assembled_x000D_
unit must have all the modules working precisely and correctly. In this project, MI and the research team will_x000D_
investigate testing approaches and develop a new automated testing framework for verification of devices used_x000D_
for measurements in embedded systems. To develop an automated testing framework, we will identify the_x000D_
environment and requirements of devices used for measurements, characterize defects, and analyze_x000D_
state-of-the-art testing approaches. Using the automated testing framework, MI will be able to ensure_x000D_
correctness of measurements for embedded systems where higher accuracy is anticipated., program purpose french : Design challenges exist for development, verification and validation of embedded systems. Our research_x000D_
addresses this challenge by developing tools, techniques and architectures that assist developers in building_x000D_
high-confidence embedded systems. Measurements International (MI) develops systems that are used for_x000D_
performance analysis, and these systems are very sensitive to accuracy of measurements of different metrics_x000D_
such as voltage, temperature, and resistance._x000D_
Embedded real-time systems often consist of smaller modules, which interact with each other. The assembled_x000D_
unit must have all the modules working precisely and correctly. In this project, MI and the research team will_x000D_
investigate testing approaches and develop a new automated testing framework for verification of devices used_x000D_
for measurements in embedded systems. To develop an automated testing framework, we will identify the_x000D_
environment and requirements of devices used for measurements, characterize defects, and analyze_x000D_
state-of-the-art testing approaches. Using the automated testing framework, MI will be able to ensure_x000D_
correctness of measurements for embedded systems where higher accuracy is anticipated., agreement title english : An Automated Testing Framework for Verification of Measurements in Embedded Systems, agreement title french : An Automated Testing Framework for Verification of Measurements in Embedded Systems, agreement number : EGP, agreement value : 25000.0, agreement start date : 2017-08-23, agreement end date : nan, description english : nan, description french : nan, expected results english : nan, expected results french : nan, additional information english : Grant or Award spanning more than one fiscal year (2017-2018 to 2018-2019)., additional information french : Subvention ou bourse octroyée s'appliquant à plus d'un exercice financier (2017-2018 à 2018-2019)., owner organization : nserc-crsng, owner organization title : Natural Sciences and Engineering Research Council of Canada | Conseil de recherches en sciences naturelles et en génie du Canada