信任但验证：ByzTwin-Range，面向 Byzantine 故障的数字孪生网络
分布式、并行与集群计算
2026-04-21 v1
摘要
关键基础设施越来越依赖于互联且由软件驱动的Cyber物理系统（CPS），使其运营过程暴露于偶发故障和高级对抗行为之下。虽然抗 Byzantine 故障（BFT）协议提供了对任意故障的鲁棒性，但在现实的网络物理条件下评估其行为仍具有挑战性：传统网络范围缺乏时序保真度，而在生产环境中进行测试是不安全的。本文介绍ByzTwin-Range，一种双层体系结构，将生产级BFT部署与数字孪生（DT）集成，以启用受控实验、压力测试和使用活跃运营数据进行 Byzantine 故障注入。该DT镜像真实系统状态，通过共仿真和仿真执行"情景分析"，识别同步性漏洞，即配置不当的超时、时序敏感的错误怀疑和对抗性延迟漏洞、配置弱点和对抗行为，这些可能削弱BFT保证。通过安全咨询信道将来自孪生体的见解反馈到 operational 部署中，以支持持续验证和自适应加固。该方案利用行业标准技术（统一总线平台（OPC UA）、时间敏感网络（TSN）、功能模型单元/高层架构（FMU/HA）、QUIC/双向TLS）以最大化可行性和与现有工业工作流程的兼容性。ByzTwin-Range为下一代BFT感知网络范围奠定了实用基础，推动更具韧性的CPS通过持续测试、差分隐私分析和面向未来概念验证的实现。
关键词
引用
@article{arxiv.2604.18049,
title = {Trust, but Verify: ByzTwin-Range, a Digital Twin Cyber-Range for Byzantine Faults},
author = {Tadeu Freitas and João Soares and Rolando Martins},
journal= {arXiv preprint arXiv:2604.18049},
year = {2026}
}
备注
5 pages, 1 figure