Specification, Deployment and Management of Large-scale and Dependable IoT Systems using Model-based Engineering Techniques.****

物联网（IoT）愿景现在已经成为一个牢固的现实，考虑到各种应用和提供的服务，包括智能城市，智能电网和Helicopter。根据最近的研究，物联网行业正在呈指数级增长，这激励了加拿大和全球的许多工业和企业，包括该项目的工业合作伙伴，采用物联网计划。物联网系统通常是各种安全关键应用的支柱，例如基础设施监控，智能电网或智能医疗保健，这些应用依赖于这些系统的性能，可靠性和可预测性。物联网系统在这些方面的故障可能会产生严重的后果。因此，这种系统的可靠性是一个关键和具有挑战性的问题。此外，主要的物联网解决方案提供商，如本项目的工业合作伙伴，需要支持其物联网系统的大规模部署，以满足越来越多的客户对系统功能和服务质量的多样化要求。该研究项目的主要目标是调查，开发和验证新的工程技术，以实现自动部署和操作智能大规模可靠的物联网系统。****

The Internet of Things (IoT) vision is now a firmly established reality considering the variety of applications and provided services, including Smart cities, Smart grids and Helthcare. The IoT sector is growing exponentially according to recent studies, which is motivating numerous industrial and business in Canada and worldwide including the industrial partners of this project to adopt IoT initiatives. The IoT systems are often the backbone of various safety-critical applications such as infrastructure monitoring, smart grid, or smart healthcare, which rely on the performance, reliability and predictability of these systems. The failure of the IoT systems with these regards may have severe consequences. The dependability of such systems is therefore a critical and challenging issue. Moreover, major IoT solution providers, such as the industrial partners of this project, need to support large-scale deployments of their IoT systems to a growing number of clients with a diversity of system functional and quality of service requirements. The main objective of this research project is to investigate, develop and validate new engineering techniques to enable deploying and operating automatically smart large-scale dependable IoT systems. ****