基于拜占庭容错体系构架的航天器控制系统测试性设计与分析

摘要： 飞行控制系统作为航天飞行器的关键机载系统，其运行情况直接关系到飞行任务的成败.通过良好的测试性设计，可以提高系统的可靠性和安全性，减少维修人力及其他保障资源，降低寿命周期费用.对拜占庭容错体系结构的航天器控制系统和分层多信号流图模型的测试性设计和建模方法进行了详细的叙述，并对基于拜占庭容错体系结构的航天器控制系统进行了测试性建模，通过测试性建模和分析系统（TMAS软件）验证控制系统测试性设计的正确性和有效性.

Design and Analysis of DFT of Spacecraft Control System Based on Byzantine Fault Tolerant Architecture

Abstract：Flight control system is a very important part of the spacecraft on board systems. Good design for testability (DFT) of flight control system can improve the system reliability and security, and reduce manufacturing cost. The methods of DFT of flight control system and multi signal flow graph model are introduced in detail. Then, based on Byzantine fault tolerant architecture, the verification of DFT of flight control system is demonstrated via software TMAS (testability modeling and analysis system).