Exploring weakly-hard paradigm for networked systems
Exploring weakly-hard paradigm for networked systems
复制标题
DOI：
10.1145/3313151.3313165
复制
发表时间：
2019-04
期刊：
影响因子：
--
通讯作者：
Chao Huang;Kacper Wardega;Wenchao Li;Qi Zhu
中科院分区：
文献类型：
--
作者：
Chao Huang;Kacper Wardega;Wenchao Li;Qi Zhu
网络系统在各种信息物理应用中展现出巨大的潜力，例如汽车和交通系统、智能建筑和基础设施以及机器人系统。由于这些系统采用先进的组件，并与动态环境密切交互，它们经常受到来自环境干扰、安全攻击和设备故障的重大干扰。为确保系统的安全性、性能和其他特性，在网络层面捕捉这些干扰并推断其影响至关重要。在这项工作中，我们提议使用弱硬约束以有界的方式描述干扰，并利用它们对系统特性进行形式化推理。我们将首先介绍两个案例研究，展示干扰对网络系统中各种特性的影响，并说明使用弱硬约束的动机。然后，我们将讨论在网络系统中应用弱硬约束的几个可能的研究方向。
Networked systems have shown great promises in various cyber-physical applications, such as automotive and transportation systems, smart buildings and infrastructures, and robotic systems. As these systems employ advanced components and interact closely with the dynamic environment, they are often subject to significant disturbances from environment interference, security attacks, and device faults. To ensure system safety, performance and other properties, it is critical to capture these disturbances and reason about their impact at the network level. In this work, we propose to use weakly-hard constraints to specify the disturbances in a bounded manner, and leverage them to formally reason about system properties. We will first present two case studies that demonstrate the impact of disturbances on various properties in networked systems and motivate the usage of weakly-hard constraints. We will then discuss several possible research directions in applying weakly-hard constraints to networked systems.