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

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

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. ****