Grant: Alliance Grants

The growing size of the smart home market requires a reliable and resilient ecosystem. A smart home ecosystem is complex in its architecture, as well as in various types of hardware devices interconnected through a smart home platform. In this program research, we identify three major challenges in current practice aimed at achieving a reliable smart home ecosystem. To meet these three challenges, we plan to achieve three research objectives. The first RO aims to obtain a comprehensive understanding of the ecosystem of smart home: development, challenges, co-evolution, bugs and vulnerabilities, and testing practice. The second RO focuses on the design and implementation of various techniques automated: code generation and completion techniques, automated test generation, and repair programs. The third RO presents complete integration with the workflow of developers. This research program provides training opportunities for three students graduates and two undergraduate students and prepares them to acquire technical skills and highly sought-after fundamental research skills. The long-term objective of this research program has enormous positive impacts on Quebec and Canada