高可靠信息系统非相似冗余架构中的执行体同步技术

非相似冗余架构被广泛使用到信息系统中,提高系统的安全性和可靠性。非相似冗余架构中的执行体之间存在差异,当系统正常工作时,执行体表现一致,但在面对恶意攻击行为时,执行体会表现出不一致。架构通过比较执行体的表现监控系统、感知威胁,从而提升系统安全可靠性。执行体的同步监控,是所有非相似冗余架构都需要解决的难题。目前没有针对同步技术比较系统性的描述和总结。该文首先对执行体同步问题进行了抽象建模,然后提出基于同步点的同步技术分类方法,并分别对每种技术的基本方式、流行度、优缺点进行了总结。该文还提出了影响同步效果的3个重要指标:同步点、误报率和性能,同时给出了同步技术的数学模型,可用于同步技术的设计评估。最后,结合网络弹性工程领域和软件定义晶上系统领域的发展,指出了同步技术未来的发展潜力和可能的发展方向。

FADEC系统软件非相似技术容错结构设计

随着航空发动机控制技术的发展,全权限数字电子控制(FADEC)系统的可靠性设计变得越来越重要;面对目前国内关于航空发动机高可靠性FADEC软件系统研究工作相对滞后的现状,针对硬件层基于相似余度技术,软件层基于非相似余度技术构成高可靠性FADEC系统的相关软件技术进行了研究;在提出FADEC系统软件非相似技术容错结构设计方案后,论文就此容错结构设计方案中的主要技术问题进行了研究。

适用于航空发动机FADEC系统的容错实时调度算法研究

航空发动机的全权限数字电子控制系统(FADEC),需要容错实时调度算法的支持。为保证航空发动机控制的逻辑正确性和时间正确性,FADEC系统要求实时任务在无错和出错时均能在时限到来前获得正确的运算结果。笔者首先介绍了容错实时调度算法的基本概念及其分类,然后研究了适用于FADEC的单处理器容错实时调度算法CRA。