• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IEEE Pacific Rim International Symposium on Dependable Computing >Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination
【24h】

Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination

机译：车辆协调动态组成员资格的规范，实施和验证

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

摘要

New advanced traffic management solutions with fully or semi-autonomous vehicles that communicate over a wireless interface to coordinate their driving decisions create new challenges in distributed computing. In this paper we address the problem of dynamic group membership in three stages. First, we propose three criteria to specify correctness and performance of the group views created by such algorithms in terms of soundness, completeness and freshness. Second, we develop a group membership protocol tailored for vehicular coordination. Finally, we show through simulation and model-based verification that the protocol does indeed meet the criteria and provide at least 95% perfect group membership views under as adverse conditions as 70% packet loss or very high churn rate.
机译：具有全或半自动车辆并通过无线接口进行通信以协调其驾驶决策的新的高级交通管理解决方案给分布式计算带来了新的挑战。在本文中，我们分三个阶段解决了动态组成员身份的问题。首先，我们提出了三个标准来指定由此类算法在稳健性，完整性和新鲜度方面创建的组视图的正确性和性能。其次，我们开发了针对车辆协调的团体成员协议。最后，我们通过仿真和基于模型的验证表明该协议确实符合标准，并在70％的数据包丢失或极高的流失率等不利条件下提供了至少95％的完美组成员视图。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号