Subventions et des contributions :

Subvention ou bourse octroyée s'appliquant à plus d'un exercice financier (2017-2018 à 2018-2019).

Design challenges exist for development, verification and validation of embedded systems. Our researchx000D
addresses this challenge by developing tools, techniques and architectures that assist developers in buildingx000D
high-confidence embedded systems. Measurements International (MI) develops systems that are used forx000D
performance analysis, and these systems are very sensitive to accuracy of measurements of different metricsx000D
such as voltage, temperature, and resistance.x000D
Embedded real-time systems often consist of smaller modules, which interact with each other. The assembledx000D
unit must have all the modules working precisely and correctly. In this project, MI and the research team willx000D
investigate testing approaches and develop a new automated testing framework for verification of devices usedx000D
for measurements in embedded systems. To develop an automated testing framework, we will identify thex000D
environment and requirements of devices used for measurements, characterize defects, and analyzex000D
state-of-the-art testing approaches. Using the automated testing framework, MI will be able to ensurex000D
correctness of measurements for embedded systems where higher accuracy is anticipated.