Grant: Alliance Grants

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