高可靠信息系统非相似冗余架构中的执行体同步技术
来源：电子与信息学报杂志2024年第5期北京时间：
作者：于洪, 刘勤让, 魏帅, 兰巨龙
单位：中国人民解放军战略支援部队信息工程大学信息技术研究所 郑州 450000
摘要：非相似冗余架构被广泛使用到信息系统中，提高系统的安全性和可靠性。非相似冗余架构中的执行体之间存在差异，当系统正常工作时，执行体表现一致，但在面对恶意攻击行为时，执行体会表现出不一致。架构通过比较执行体的表现监控系统、感知威胁，从而提升系统安全可靠性。执行体的同步监控，是所有非相似冗余架构都需要解决的难题。目前没有针对同步技术比较系统性的描述和总结。该文首先对执行体同步问题进行了抽象建模，然后提出基于同步点的同步技术分类方法，并分别对每种技术的基本方式、流行度、优缺点进行了总结。该文还提出了影响同步效果的3个重要指标：同步点、误报率和性能，同时给出了同步技术的数学模型，可用于同步技术的设计评估。最后，结合网络弹性工程领域和软件定义晶上系统领域的发展，指出了同步技术未来的发展潜力和可能的发展方向。
关键词：非相似冗余, 多变体, 异构冗余, 执行体同步
基金资助：国家重点研发计划(2022YFB4401401)
