Model-based Design and Validation Techniques for Smart and Safe Cyber-Physical Systems

智能安全网络物理系统基于模型的设计和验证技术

• 批准号: RGPIN-2016-04573
• 负责人: Varro, Daniel
• 金额: $ 3.35万
• 依托单位: McGill University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2019
• 资助国家: 加拿大
• 起止时间: 2019-01-01 至 2020-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=689325
• 关键词: Model; based; Design; Validation; Techniques

Motivation and Significance. Smart cyber-physical systems (CPS) will connect low-energy sensors and actuators, mobile devices and the computational power of cloud infrastructures with traditional critical embedded systems (like cars, medica devices, etc.) where a failure may result in major financial loss, severe damage or even casualties. But how can we guarantee the safety, resilience and trustworthiness of such smart and critical systems in a continuously evolving, open environment?***Research Context: A smartHow to design and manage dynamically evolving smartm>scalable solutions (applicable to industrial size systems) and incremental approaches (which exploit previously available information to make decisions) with precise semantic foundations.***Research Team: This research program will contribute to the training of 6 PhD, 3 MEng and 8 undergraduate students to be carried out in an international environment. ***Outcome: The expected results include the (1) synthesis of consistent and large model instances with given coverage criteria to test CPS in various contexts, (2) distributed and incremental runtime monitors to detect critical situations, and (3) incremental rule-based design space exploration approaches to manage evolving CPS in a safe and optimal way.***Impact: As smart devices and systems will gradually penetrate our every day life all over the world, their safety will likely be an increasing concern. Results of this research program will help guarantee that a new smart device can safely be integrated into our smart home to reduce energy consumption without undesired side effects. Connected cars may benefit from decision support provided by distributed runtime monitors to avoid accidents and traffic jams. Smart cities may increase catastrophic preparedness by using design space exploration techniques.**

动机和意义。智能网络物理系统（CPS）将把低能耗传感器和执行器、移动的设备以及云基础设施的计算能力与传统的关键嵌入式系统（如汽车、医疗设备等）连接起来。可能造成重大经济损失、严重破坏甚至人员伤亡的。但是，我们如何在一个不断发展的开放环境中保证这些智能和关键系统的安全性，弹性和可信度？*研究背景：智能如何设计和管理具有精确语义基础的动态演进smartm>可扩展解决方案（适用于工业规模的系统）和增量方法（利用先前可用的信息做出决策）。*研究团队：这项研究计划将有助于培养6名博士，3名工程硕士和8名本科生在国际环境中进行。* 结果：预期的结果包括：（1）在给定覆盖标准的情况下合成一致的大型模型实例，以在各种环境中测试CPS;（2）分布式和增量式运行时监视器，以检测关键情况;以及（3）增量式基于规则的设计空间探索方法，以安全和最佳的方式管理不断发展的CPS。影响力：随着智能设备和系统逐渐渗透到我们的日常生活中，它们的安全性可能会越来越受到关注。这项研究计划的结果将有助于保证新的智能设备可以安全地集成到我们的智能家居中，以减少能源消耗，而不会产生不良的副作用。联网汽车可以受益于分布式运行时监控器提供的决策支持，以避免事故和交通堵塞。智慧城市可以通过使用设计空间探索技术来提高灾难准备。