Grant: Engage Grants Program

Design challenges exist for development, verification and validation of embedded systems. Our researchaddresses this challenge by developing tools, techniques and architectures that assist developers in buildinghigh-confidence embedded systems. Measurements International (MI) develops systems that are used forperformance analysis, and these systems are very sensitive to accuracy of measurements of different metricssuch as voltage, temperature, and resistance.Embedded real-time systems often consist of smaller modules, which interact with each other. The assembledunit must have all the modules working precisely and correctly. In this project, MI and the research team willinvestigate testing approaches and develop a new automated testing framework for verification of devices usedfor measurements in embedded systems. To develop an automated testing framework, we will identify theenvironment and requirements of devices used for measurements, characterize defects, and analyzestate-of-the-art testing approaches. Using the automated testing framework, MI will be able to ensurecorrectness of measurements for embedded systems where higher accuracy is anticipated.