• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IEEE Symposium on Reliable Distributed Systems >Crash-Resilient Decentralized Synchronous Runtime Verification
【24h】

Crash-Resilient Decentralized Synchronous Runtime Verification

机译：防崩溃的分散式同步运行时验证

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In this paper, we consider runtime verification of synchronous distributed systems, where a decentralized set of monitors that only have a partial view of the system are subject to crash failures. In this context, it is unavoidable that monitors may have different views of the underlying system, and, therefore, have different opinions about the correctness property. We propose an automata-based synchronous monitoring algorithm that copes with t crash monitor failures. Moreover, local monitors do not communicate their explicit reading of the underlying system. Rather, they emit a symbolic verdict that efficiently encodes their partial views. This significantly reduces the communication overhead.
机译：在本文中，我们考虑了同步分布式系统的运行时验证，在该系统中，仅具有部分系统视图的一组分散的监视器会发生崩溃故障。在这种情况下，不可避免的是监视器可能对基础系统有不同的看法，因此对正确性属性也有不同的看法。我们提出了一种基于自动机的同步监控算法，可以应对t崩溃监控器故障。此外，本地监视器不会传达其对底层系统的明确读取。而是，它们发出了有效地编码其局部视图的符号判定。这大大减少了通信开销。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号