Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems
Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems
复制标题
用于信息物理系统运行时监控的分布式图查询
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Dániel Varró
中科院分区：
文献类型：
--
作者：
Márton Búr;Gábor S. Szilágyi;András Vörös;Dániel Varró
在安全关键的网络物理系统（CPS）中，服务故障可能导致严重的经济损失或人身伤害。智能CPS与其环境具有复杂的交互，这是事先很少知道的，并且它们严重依赖于在异构计算平台上进行的智能数据处理，并提供自主行为。这种复杂性使得设计时验证在实践中不可行，并且许多CPS需要高级运行时监控技术来确保安全操作。虽然图查询是一个强大的技术，用于许多工业设计工具的CPS，在本文中，我们建议使用它们来指定安全性能的运行时监视器的高层次的抽象。分布式运行时监控是通过评估图形查询的分布式运行时模型的系统，它结合了域的概念和平台信息。我们提供了一个语义处理的分布式图查询使用3值逻辑。我们的方法进行了说明，并进行了初步评估，使用MoDeS3教育演示CPS。
In safety-critical cyber-physical systems (CPS), a service failure may result in severe financial loss or damage in human life. Smart CPSs have complex interaction with their environment which is rarely known in advance, and they heavily depend on intelligent data processing carried out over a heterogeneous computation platform and provide autonomous behavior. This complexity makes design time verification infeasible in practice, and many CPSs need advanced runtime monitoring techniques to ensure safe operation. While graph queries are a powerful technique used in many industrial design tools of CPSs, in this paper, we propose to use them to specify safety properties for runtime monitors on a high-level of abstraction. Distributed runtime monitoring is carried out by evaluating graph queries over a distributed runtime model of the system which incorporates domain concepts and platform information. We provide a semantic treatment of distributed graph queries using 3-valued logic. Our approach is illustrated and an initial evaluation is carried out using the MoDeS3 educational demonstrator of CPSs.