总线容错机制及其验证方法

卫星系统广泛采用容错技术以提高系统的可靠性，而总线通信的稳定性和可靠性对于系统任务的成功至关重要．工程研制中，通常采用总线容错技术对系统通信故障进行识别和屏蔽．介绍了基于故障仿真技术的总线容错机制验证方法，包括故障规格分析技术、故障用例生成技术和故障仿真技术，利用该方法对某星载软件的总线通信功能进行了容错测试，验证了方法的有效性和实用性．

Research on Bus Fault-Tolerant Mechanism and Its Verification Method

Fault-tolerant technique is extensively used in the satellite control systems to improve reliability. And the stability and reliability of bus communication are critical for the success of tasks. In real engineering development, the fault-tolerant mechanism is commonly used to identify and to shield the bus communication failures. A fault simulation-based bus fault-tolerance verification method including failure specification analysis technique, fault-case generation technique and fault simulation technique...