Decentralized Stream Runtime Verification
Decentralized Stream Runtime Verification
复制标题
去中心化流运行时验证
DOI：
10.1007/978-3-030-32079-9_11
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
César Sánchez
中科院分区：
文献类型：
--
作者：
Luis Miguel Danielsson;César Sánchez
我们研究了对流运行时验证规范的分散监测的问题。分散的监视使用分布式监视器通过同步网络进行通信的分布式监视，这是一种在汽车CPS等许多网络物理系统中常见的通信设置。先前进行分散监控的方法仅限于提供布尔判决的LTL逻辑等逻辑。我们在这里解决了分散的监视问题，以进行流运行时验证的更一般设置。此外，我们的解决方案处理网络拓扑，而先前的分散监控作品则假定每个节点都可以直接通信。我们还针对规格引入了一种新颖的属性，称为分散的有效可监视性，以确保可以使用有限资源执行在线监视。最后，我们报告了对实施的经验评估的结果，并将表达能力和效率与最先进的分散监测工具（如Themis）进行比较。
We study the problem of decentralized monitoring of stream runtime verification specifications. Decentralized monitoring uses distributed monitors that communicate via a synchronous network, a communication setting common in many cyber-physical systems like automotive CPSs. Previous approaches to decentralized monitoring were restricted to logics like LTL logics that provide Boolean verdicts. We solve here the decentralized monitoring problem for the more general setting of stream runtime verification. Additionally, our solution handles network topologies while previous decentralized monitoring works assumed that every pair of nodes can communicate directly. We also introduce a novel property on specifications, called decentralized efficient monitorability, that guarantees that the online monitoring can be performed with bounded resources. Finally, we report the results of an empirical evaluation of an implementation and compare the expressive power and efficiency against state-of-the-art decentralized monitoring tools like Themis.