Scaling of IoT Simulation for Verification and Testing

Simulation is a critically important enabler for the scalable verification and testing of Internet-of-Things (IoT) systems. There has been considerable research in recent years on developing IoT simulators. The existing research nevertheless does not adequately address the optimization of simulators for the competing objectives that one typically has to contend with, e.g., in terms of costs and resources. This project aims to develop a versatile and effective simulation environment to help detect and localize faults in large-scale IoT systems that are otherwise extremely difficult to understand, analyze, test and debug. Our approach will employ metaheuristic search for optimizing IoT-simulation configurations alongside techniques for generating high-quality synthetic data to feed the simulation process. To evaluate the practical usefulness of the resulting simulation environment, we will conduct case studies over real IoT applications in collaboration with our industry partner, Cheetah Networks.

Faculty Supervisor:

Shiva Nejati;Mehrdad Sabetzadeh

Student:

Partner:

Cheetah Networks

Discipline:

Computer science

Sector:

Information and cultural industries

University:

University of Ottawa

Program: