[发明专利]一种基于三机通信有限状态机模型的三机表决方法

摘要

本发明公开了一种基于三机通信有限状态机模型的三机表决方法，提供了一种可靠的三机数据比对和切机策略，当某机出现故障或者软件运行异常时，能够通过另外两机的状态进行三取二识别，并有效地将故障机切除，避免其影响系另外两机正常工作；采用软硬件协同设计，将三机通信中各种复杂状态统一为三机通信有限状态机模型，并依据该模型进行表决和切机，解决了三机表决过程中的多种分支状态导致紊乱的难题，提高了三机系统的可靠性和确定性；统一了硬件异常、通信链路失效和软件运行异常的状态，将其统一为通信异常，并通过软件有效判别。